adding "event" syntax to agree to reason about sending events on event ports