predicates bug fix

predicates bug fix