predicate          24 src/Definition.cpp     DefinitionContents() : is_init(true), predicate(const_true()) {}
predicate         153 src/Definition.cpp Expr &Definition::predicate() {
predicate         157 src/Definition.cpp const Expr &Definition::predicate() const {
predicate         190 src/Reduction.cpp Expr ReductionDomain::predicate() const {