set_predicate     608 src/Function.cpp         check.reduction_domain.set_predicate(lower_random(check.reduction_domain.predicate(), free_vars, tag));
set_predicate     624 src/Function.cpp         check.reduction_domain.set_predicate(
set_predicate     187 src/Reduction.cpp     set_predicate(simplify(contents->predicate && predicate));
set_predicate      80 src/Reduction.h     EXPORT void set_predicate(Expr);