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))