Traces a program when variable names look alike

Not tested yet: there is no evidence about this capability for this model in the store.

That gap is itself a result: it marks what we do not know.