Correct reachability checking for ExtendedMovableChecker