@NotNull
  private static LocalEquivalenceChecker getChecker(PsiStatement[] thenBranch, PsiStatement[] elseBranch) {
    Set<PsiLocalVariable> localVariables = new HashSet<>();
    addLocalVariables(localVariables, Arrays.asList(thenBranch));
    addLocalVariables(localVariables, Arrays.asList(elseBranch));
    return new LocalEquivalenceChecker(localVariables);
  }
@NotNull
  private static LocalEquivalenceChecker getChecker(PsiStatement[] thenBranch, PsiStatement[] elseBranch)