always use the aiger_not function