bug fixes to aig module