Report the correct warning when calling undefined static predicates that are locally declared discontiguous, synchronized, or coinductive