Add more test cases for MovableChecker