/* may have multiple predicates */
PredExprSet pred_expressions;
ModelVector<Predicate *> children;
ModelVector<Predicate *> parents;
/* may have multiple predicates */
PredExprSet pred_expressions;
ModelVector<Predicate *> children;
ModelVector<Predicate *> parents;