XDI analysis of Miracle

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.

XDI State Graph Tool, Version 2.0 (Feb 17 1998 20:34:43)
Copyright © 1995-1997 Eindhoven University of Technology