Propositional_directed_acyclic_graph loading ...