another variant of the linear-inv counterexample, based on an accessor that gives back the token earlier