the env move that causes deadlock was still not being constrained to satisfy safetyEnv. did some rewriting to ensure this