added support for classes with state machines. Adding support for properties and operations

also updated the initial test model such that is is cml correct and added a body for the operation