Basic simulator and minor changes on LibAutomataDef