fixing predicate tree