env move for deadlock has to obey safetyEnv