Keep track of referenced arguments.

We need to increase the 'index' value once per *unique* variable referenced in an assertion; keep track of previously-referenced variables to ensure this property.