Precise Control Points of Event Contracts