Sorry for the fast version update. 🙂
But we changed some syntax, which is big enough to make a new version.

Language Change:
1 use var to declare a variable, similar to javascript and ation script.
2 () is optional in process definition if there is no parameter.

Assertion:
State refinement srefine and sequal assertions is added into the system.

Optimization:
1 Self implemented hashtable and dictionary is used in the code.
2 Code tidy up.

User Manual:
User Manual is updated to the latest syntax.