env move for deadlock has to obey safetyEnv
Working on the incremental synthesis stuff...
Merge branch 'master' of github.com:LTLMoP/slugs

Conflicts:
	src/extensionExtractExplicitCounterstrategy.hpp