Optimizing Mutation-Based Fault Localization Through Contribution-Based Test Case Reduction | Synapse