Minimize works on some automatons. Need to add test with missing edges etc.