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