Remove kludge from UNINTERESTING-ORDINARY-FUNCTION-REDEFINITION-P.