e: A dict filled with references to variables
   that change value within an assert. This happens when a variable is
   reassigned with the walrus operator

This state, except the variables_overwrite,  is reset on every new assert
statement visited and used by the other visitors.
c