code: @Nullable
      @Override
      public DFALasso<I> findCounterExample(DFA<?, I> automaton, Collection<? extends I> inputs, String property)
              throws ModelCheckingException {
          final File fsm = findCounterExampleFSM(automaton, inputs, property);
  
          final DFALasso<I> result;
  
          if (fsm != null) {
              final CompactDFA<I> dfa;
  
              try {
                  dfa = FSM2DFAParser.getParser(inputs, getString2Input(), LABEL_NAME, LABEL_VALUE).readModel(fsm);
  
                  // check if we must keep the FSM
                  if (!isKeepFiles() && !fsm.delete()) {
                      throw new ModelCheckingException("Could not delete file: " + fsm.getAbsolutePath());
                  }
              } catch (IOException | FSMParseException e) {
                  throw new ModelCheckingException(e);
              }
  
              result = new DFALassoImpl<>(dfa, dfa.getInputAlphabet(), computeUnfolds(automaton.size()));
          } else {
              result = null;
          }
  
          return result;
      }
docs: Converts the FSM file to a {@link DFALasso}.
  
  @param automaton
  the DFA used to compute the number of loop unrolls.
  
  @see AbstractLTSminLTL#findCounterExample(Object, Collection, Object)