check predicate in a separate line