the cheap emptiness test is only useful if we're not then going to force it anyway
another coverage motivated test