Empty instance lists are accepted when checking predicates.