Calling a local static predicate declared discontiguous but with no clauses must fail instead of throwing an existence error