I realized I missed disabling the restart-relax test for this. I have also added another test which enforces correct behaviour in the 'deleting auipc shouldn't introduce ambiguity' case which was brought up in this thread. So I will email an updated patch shortly.