Change instance variable numbers for line numbers instead of counter

Nadie ha tomado este issue todavía.

Whenever we are creating a new instance of a variable or a fresh one, we keep the variable name and concatenate it with an incremental counter (e.g., a0, x1, y2).
A simple change would be to use the line number where this value was introduced, instead of the counter.
Example:

The error could be `#x_25 == #x_24 - 10` where `24` and `25` are the lines where these were introduced.
A question could be, if multiple vars are changed could we still use the same tactic? Lets try and make some tests to see.

Empieza localizando el código que crea nombres nuevos de variables de instancia y las pruebas existentes para los nombres generados. Comprueba cómo están disponibles los números de línea en cada introducción y, después, añade pruebas que cubran los nombres propuestos basados en líneas y los casos en que varias variables cambian conjuntamente; se considera terminado cuando las pruebas definan y confirmen el comportamiento de nomenclatura previsto.

Escrito por el modelo de indexación a partir del texto del issue.