Processing AND/IF input stream: ----------------------------------------------------------------------------- 1> (AND/IF_1.0 2> (NFA 3> (NAME Miracle) 4> (STATES 5> (TOP INITIAL) *** Line 5: Invalid state definition Fatal error, halting. ----------------------------------------------------------------------------- There were errors.