Example:
:- det(foo/1).
foo(1).
and then change the code to
:- det(foo/2).
foo(1,a).
re-consult produces a bogus error message from check/0:
?- make.
% /tmp/foo compiled 0.00 sec, 0 clauses
Warning: foo/1 is declared as det, but has no clauses
true.