Minimal Cut Sets as an Approximation

[rakhimov]

Prime implicants (#122) must be the default result of fault tree analysis, while minimal cut sets should include only positive literals as a conservative (supersets for non-coherent fault trees) approximation.

Mishandling of minimal cut sets (with negative literals) for non-coherent fault trees may result in bugs as in issue #92.