let mk_lvar_addr v = let _ = WpFol.addr_lvar ~create:true v in (* create the addr var *) Fol.Tdata (E3addr v)