Add input files that describe the issue #92.

The subtle unity of generated minimal cut sets are not detected and
reported correctly.
Update readme, todo, and documentation with non-coherency and
algorithms.
Add benchmark tests for the Chinese fault tree from XFTA.