verify all the nodes
Merge branch 'master' into probes
probes report location where the value should be displayed separately from the location of the expression they represent
don't generate probes with the same probeLoc