Ordered Binary Decision Diagram Example