void (@NotNull PsiElement element) { myCurrentFlow.finishElement(element); if (element instanceof PsiField || (element instanceof PsiStatement && !(element instanceof PsiReturnStatement) && !(element instanceof PsiSwitchLabeledRuleStatement))) { List<DfaVariableValue> synthetics = myCurrentFlow.getSynthetics(element); FinishElementInstruction instruction = new FinishElementInstruction(element); instruction.getVarsToFlush().addAll(synthetics); addInstruction(instruction); } }