public static void EnsureSymbolIsNotSpontaneous(this Automata automata, String symbol) { ValidationUtils.EnsureNotEquals( Automata.SYMBOL_SPONTANEOUS_TRANSITION, symbol, new InvalidValueException( symbol ) ); }