code: @SafeVarargs
      public final RandomICAutomatonGenerator<SP, TP> withTransitionProperties(TP... possibleTps) {
          if (possibleTps.length == 0) {
              return withTransitionProperties(r -> null);
          }
          return withTransitionProperties(Arrays.asList(possibleTps));
      }
docs: Sets the possible transition properties, and returns {@code this}. Transition properties are selected from this
  array using {@link RandomUtil#choose(Object[], Random)}. If the array is empty, {@code null} will always be
  chosen as the state property.
  
  @param possibleTps
  the possible transition properties
  
  @return {@code this}