Refactor fault tree validation function.
Tests for out-of-order gate additions in a fault tree.
Initialize num_prob_mcs_.
RelaxNG XML datatype for proper naming.
Update input files for the new naming requirements.
Mixed input with model data.
Update Cyclomatic complexity information and documentation.