Fix a bug in GVN that Duncan noticed, where we potentially need to insert a