Contract Redundancy Analysis on FusePop