New StateMachine implementation + EVM integration

-Revisited the state machine handling in the model based on Abel's
notes.
-Fixed model issues arising from incorrect containment references and
EJavaClass attribute types.
-Updated IQ patterns.