Event-tree analysis using binary decision diagrams | Synapse