Added some logging to event dispatcher
Added /callbacks/check_over
Renamed callbacks to past tense
Resolved temporary hack, should work with updated mcrl2 now too