The current version already acts appropriate:
?- check.
% Checking undefined predicates ...
% Checking trivial failures ...
Warning: The following goals fail because there are no matching clauses.
Warning: binary_tree(foo), which is called from
Warning: /ufs/wielemak/src/swipl-devel/linux/bt.pl:7:4: 1-st clause of foo/0
...