change scope of DynEnv from EnvIO to Step

now the DynEnv cannot leak between consecutive executions