Add more unit tests for ExtendedMovableChecker
Run ExtendedMovableChecker twice for checking reachability.