boolean (Statement source, Statement closure) { if (closure.type == StatementType.DO || closure.type == StatementType.SWITCH) { Statement parent = source.getParent(); return parent != closure && (parent.type == StatementType.DO || parent.type == StatementType.SWITCH || isBreakEdgeLabeled(parent, closure)); } else { return true; } }