Run ExtendedMovableChecker twice for checking reachability.
Merge branch 'master' into debug

Conflicts:
	src/ExtendedMovableChecker.cpp