Tweak linearity checker to deal with overloaded names properly