Sentential_Decision_Diagram loading ...