Adapted to latest changes in AutomataLib, eliminated some warnings