remove a cheat from replCorrectScript.sml

it has effectively been pushed onto env_rs_shift_to_menv