Implemented GoalStack and LockedMoveProcessor for efficient solver