checkpoint with commute-event and commute-event2 working
checkpoint with commute-event and commute-event2 working
working on having abstractions and specializations fill rules