Effective specialization of realistic programs via use sensitivity