Fix tests which have problems with agent generation based on examples from RVMonitor
Merge pull request #118 from runtimeverification/fixtests

Fix tests which have problems with agent generation based on examples fr...