The Role of the Coverage Analysis during IR-based Traceability Recovery: a Controlled Experiment