private static boolean isVariableDefinitelyInitialized(@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;
  }
private static boolean isVariableDefinitelyInitialized(@NotNull GrVariable var, GroovyControlFlow controlFlow)