Added predicate_info