Modify execution_environment model checking