@Override
  public @NotNull OptPane getOptionsPane() {
    return pane(
      checkbox("ignorePossibleNonLocalChanges", InspectionGadgetsBundle.message("loop.variable.not.updated.inside.loop.option.nonlocal")));
  }
@Override
  public @NotNull OptPane getOptionsPane()