let assign_exp texpr lv exp p = 
  let asgn_cvar, exp = build_mu texpr lv exp in
  let addr = MV.T.expr (Cil.dummy_exp (AddrOf lv)) in
  let fresh_v, g, p = build_guard asgn_cvar addr p in
  let p = MV.mk_let ~fresh:false fresh_v exp p in
    Fol.pand (g, p)