sig val tau_of_ctype_logic : Cil_types.typ -> Formula.tau end