@Test
public void Main_doGenerateStates_OneValidTable_EnumState()
{
Set<LiteralInfo> literals = SetFactory.createSet(LiteralInfo.class);
literals.add(new LiteralInfo(stPino));
literals.add(new LiteralInfo(stGino));
EnumerationInfo eInfo = new EnumerationInfo(stTino, literals);
Enumeration e = new Enumeration(eInfo);
main.doAddStateObserver(new StateObserverInfo(stGino, Type.enumAsType(e), null));
List<StateObserver> usedSet = main.stateObservers().soList();
main.doSelectUsedSO(usedSet);