let
overwrite_current_state env state = overwrite_state env state env.e_cur