Examples as unit tests
Added some unit test comments
Merge pull request #22 from runtimeverification/examplesUnitTests

Examples as unit tests