let subst_result frame v_opt p =
    let v = match v_opt with
      | Some v -> Some (mvalue_of_value v) | None -> None
    in
    M.subst_result frame.mframe v p