Comment on: Computer-aided Synthesis of Fault-trees