Add warning for duplicated event in state/event exclusion invariant

Invariants can restrict multiple events. When an invariant restricts an event multiple times, a warning should be given:

event e;

invariant {e, e} needs true;

We should use the same type of event equality as discussed in Issue #298 (closed).