Core DD logic now uses DAG structure. Simulation needs updating.