aig2cnf works now YAY