updated testINPredicate to also test format predicate negation