cbraem

If an event is used as a trigger in the specification function `forall`, the `forall` expression cannot be verified by Carbon. An example for such an `forall` is in the...