Dead code removal: Fortezza identifiers