Further DNF optimizations #127
Description
I have pushed a new branch that uses new DNF generator from lib-bdd which should be somewhat better than what we have now. However, it still can't nicely interpret some functions (the 122.bnet file is cursed), so I'd still like to work on it a little bit.