Cancel does not solve a straightforward goal

[pseudohuman92]

I have the goal
F * 0 |-> (Public, v, v0) * 1 |-> v1 * 2 |-> v2 ===>
F * 1 |-> v1 * 2 |-> v2 * 0 |-> (Public, v, v0)
But cancel does nothing on it.