Superset refactoring and tests.
XML parser minor simplification.
Fault tree and Superset tests.