Removing redundant statements in amplified test cases