Indicate name of local variable for reads
Currently, nodes in concrete execution graphs can have labels like this:
y = $0
This is a bit inconsistent.
I suggest we switch everything over to a notation that shows the actual value:
If this is not clear enough, the name of the local variable could always be added in gray: