public static boolean isBreakEdgeLabeled(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;
    }
  }
public static boolean isBreakEdgeLabeled(Statement source, Statement closure)