bugfix of predicate evaluation