Cutenumeration bug fixed. HASUM2 works, but HACARRY2 is still unresponsive
Fixed a bug with aig structural hashing
Adder output not found. Still searching for problem