let
subst_lval env _t lval v_exp p =
subst env lval (logic_of_value v_exp) p