Origin: check. Landing-place: diagnose.
In proof checker: unprocessed exception
This is an internal error.