override emitRef in the vcd backend to avoid name conflicts