Improved AutomatonTest
Improved error handling in Config