Fixed the most embarrassing bug in Eff's history.

It was embarrassing because we thought it was true,
spent half a year adapting the semantics to it,
and found an obvious counterexample one day before
the paper submission deadline.