/// <summary>
/// Declares the given <paramref name="faults" /> to be subsumed by this instance. Subsumption metadata does
/// not change the fault's effects and is only used by heuristics.
/// </summary>
/// <param name="faults">The subsumed faults.</param>
public void Subsumes(IEnumerable <Fault> faults)
{
SubsumedFaults.UnionWith(faults);
}
/// <summary>
/// Declares the given <paramref name="faults" /> to be subsumed by this instance. Subsumption metadata does
/// not change the fault's effects and is only used by heuristics.
/// </summary>
/// <param name="faults">The subsumed faults.</param>
public void Subsumes(params Fault[] faults)
{
SubsumedFaults.UnionWith(faults);
}