Sentential_decision_diagram loading ...