public static @NotNull List<PsiVariable> getSSAVariables(@NotNull ControlFlow flow) {
    return getSSAVariables(flow, 0, flow.getSize(), false);
  }
public static @NotNull List<PsiVariable> getSSAVariables(@NotNull ControlFlow flow)