Tests have shown that failing to do this could slow down the computation
of Menhir's invariant by 15x. (Fix.DataFlow is not yet used by Invariant,
so this change makes little difference at the moment.)