DNNF-Compilation seems to be as bug-free as C2D :)