added aig statistics