Zero-suppressed_decision_diagram loading ...