DimacsLoader was broken, it wasn't deleting unused bdds