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]