Some changes to functor_ck for predicates and implementation of predicate_expr_ck