boolean (@NotNull GrVariable var, GroovyControlFlow controlFlow) { DFAEngine<Boolean> engine = new DFAEngine<>(controlFlow.getFlow(), new MyDfaInstance(controlFlow.getIndex(VariableDescriptorFactory.createDescriptor(var))), new MySemilattice()); final List<Boolean> result = engine.performDFAWithTimeout(); if (result == null) return false; Boolean last = result.get(controlFlow.getFlow().length - 1); return last == null ? false : last; }