Add move_exists into tranformationalProofCommands