framework/src/main/java/org/checkerframework/common/accumulation/messages.properties

predicate=Unparsable predicate. Predicates must be produced by this grammar: S --> method name | (S) | S && S | S || S. The message from the evaluator was: %s