let reprs = let cp_repr = List.hd Cil_datatype.Varinfo.reprs in let lp_repr = List.hd Cil_datatype.Logic_var.reprs in [Cv cp_repr ; Lv lp_repr ; Prop]