let mk_cvar_addr v = let _ = WpFol.addr_cvar ~create:true v in Fol.Tdata (E2addr (Cil.cvar_to_lvar v))