Refactor Superset class.
Refactor the use of indexed mcs in FaultTreeAnalysis.