Free Collection of Binary Decision Diagram