aig2cnf script for abc