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