Loc-independent cache behavior may be strange in some cases.

[ejgallego]

trafficstars

We should check before release if starting with this file:

Definition a : nat -> nat := e.

when we move e to the right, the cache is resetting the positions properly.

[ejgallego]

Confirmed in 0.2.0-dev