Hmm, this one is tricky. When using ``default_check_diff``, we ignore the result of ``copy_ok``. Keeping the the FAIL report is not enough, since if both are printed, Pass will win (long story behind that one...). Which one is more important here?