code: public static RandomICAutomatonGenerator<Boolean, Void> forDFA() {
          return new RandomICAutomatonGenerator<Boolean, Void>().withStateProperties(Random::nextBoolean);
      }
docs: Creates a random IC automaton generator instance for generating DFAs. States in generated automata will be
  accepting or rejecting with equal probability.
  
  @return a random IC automaton generator instance for generating DFAs