Added script for checking more automata