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)