predicate pushing test