The new code seems to be adding a proxygnd pin to ...
# verification-be
m
The new code seems to be adding a proxygnd pin to the (non-extracted) spice netlist which doesn't get matched because it isn't connected to gnd