Pre-defined automata
Added runBiStateGraph