ModelVector<Predicate *> * get_children() { return &children; }
Predicate * get_parent() { return parent; }
Predicate * get_exit() { return exit; }
PredSet * get_backedges() { return &backedges; }
ModelVector<Predicate *> * get_children() { return &children; }
Predicate * get_parent() { return parent; }
Predicate * get_exit() { return exit; }
PredSet * get_backedges() { return &backedges; }