Note the memory management issues.
Add tests for private functions for fault tree analysis.
Update todo after introducing most tests.
Update documentation.