Add counter-example for global capture in effects.
Add counter-example for symbols on sequences in effects.