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