InferenceCache (@NotNull final GrControlFlowOwner scope) { if (isFlatDFAAllowed() && ControlFlowUtils.getTopmostOwner(scope) != scope) { LOG.error("Flat DFA inconsistency: scope is " + scope + ", but topmost owner is " + ControlFlowUtils.getTopmostOwner(scope)); } return CachedValuesManager.getCachedValue(scope, () -> Result.create(new InferenceCache(scope), MODIFICATION_COUNT)); }