Improving Comprehensibility of Source Code via Traceability Information: a Controlled Experiment