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