sig
  module M : Mv_sig
  val assign_exp :
    (Cil_types.exp -> M.t_exp option) ->
    Cil_types.lval ->
    M.t_exp option -> M.t_data Fol.d_pred -> M.t_data Fol.d_pred
  val assign_old_exp :
    (Cil_types.exp -> M.t_exp option) ->
    MT(M).t_env ->
    Cil_types.lval ->
    M.t_exp option -> M.t_data Fol.d_pred -> M.t_data Fol.d_pred
end