Algebraic_decision_diagram loading ...