Add even more test cases for MovableChecker