Member predicate StandardTree::propagatesAbnormal
Holds if abnormal execution of child should propagate upwards.
predicate propagatesAbnormal(ControlFlowElement child)Holds if abnormal execution of child should propagate upwards.
predicate propagatesAbnormal(ControlFlowElement child)