Binary_decision_diagrams loading ...