Avoid test fragility to changes in Predef

The check file used to contain a stack trace entry from
Predef with a line number. I've made the macro fail
in a different manner that avoids this fragility.

Review by @xeno-by