Triviality in move_gives_check()