Correct the non-reduced BDD dot graph generation