Picat: added planner variant to movement_puzzle.pi