@Nullable
  private List<@Nullable TypeDfaState> performTypeDfa(@NotNull GrControlFlowOwner owner,
                                                      @NotNull GroovyControlFlow flow,
                                                      @NotNull DFAFlowInfo flowInfo) {
    final TypeDfaInstance dfaInstance = new TypeDfaInstance(flow, flowInfo, this, owner.getManager(), new InitialTypeProvider(owner, myFlow.getVarIndices()));
    final TypesSemilattice semilattice = new TypesSemilattice(owner.getManager());
    return new DFAEngine<>(flow.getFlow(), dfaInstance, semilattice).performDFAWithTimeout();
  }
@Nullable
  private List<@Nullable TypeDfaState> performTypeDfa(@NotNull GrControlFlowOwner owner,
                                                      @NotNull GroovyControlFlow flow,
                                                      @NotNull DFAFlowInfo flowInfo)