git examples tc result files updated - not checked
improved tostring
* added check for chanset in generalism parallel ...action
* added proper implementation of parameterized action check - the parameter was missing before
* added check for actioncalls
removed warning in test results
Merge branch 'origin/akm'
Merge branch 'origin/test'
Documented ICmlProject API.
Documented API.
    Remove unsused stuff.
Document SourceUnit API. Also made author info uniform.
Merge commit '1e718fac719b3ab42a08bc4e83e1d66c0cf76942' into test
Merge commit '2fde1709cc9a6a31286cfcfafa3b3585be836138' into test
improved tostring
fixed objec calls wrong parse tree
improved varexp checks and enabled nameset checks and test
code format and removed unused imports
12 skipped and 19 failures
* Added object calls
* Fix a bug in the cml parser which caused some statements to have a null location
* The CML calls are handled by the VDM interpreter
Merge commit '4f0cbcd122e907e15351f3802a0287d924733af3' into test
Remove some modelchecker temp files and make sure they’re ignored