[developers] (poosible) bug report: LKB doesn't generate on a different index

[Ann Copestake]

we should, of course, make that requirement explicit, but since the
types of variables can change, as they become more specific, I think
it's reasonable to treat the numbers as the identifier

Best,

Ann