Fixed AIG build error (writeAiger Problem)
Fixed CutFunction Calculation