final Set<ControlFlowNode> dominationSet = new HashSet<>();
final List<ControlFlowNode> dominatedNodes = new ArrayList<>();
for (final ControlFlowNode node : cfg.getNodes()) {
if (handlerStartNode.dominates(node)) {
if (dominationSet.add(node)) {
dominatedNodes.add(node);
}
}
}