Dead code elimination for web systems written in PHP: Lessons learned from an industry case.