let mk_cvar_addr v = let _ = WpFol.addr_cvar ~create:true v in (* create the addr variable *) Fol.Tdata (E0addr (Cil.cvar_to_lvar v))