public static boolean hasMultipleCharacterLabels(Automaton automaton) {
		Transition[] transitions = automaton.getTransitions();
		for (int k = 0; k < transitions.length; k++) {
			FSATransition transition = (FSATransition) transitions[k];
			String label = transition.getLabel();
			if (label.length() > 1)
				return true;
		}
		return false;
	}