The trouble with testing for "ModRef" and "NoModRef" is that