fixed buffer overrun
added a method to check for the presence of a state by name
support passing of a local machine as a parameter to another local machine
remove duplicate info in display
added a test machine for a performance check
fixed cycle check to use bitwise operations