Tracking Issue for Inspect #5
Description
Since the semantics for interleaving inspect with expect and triggers in the Kompics model are unclear now, inspect should be removed until clearer semantics can be implemented.
See the Slack History on Inspect Issue.txt for the conversation detailing this issue.