Redundant Functional Faults Reduction by Saboteur Synthesis