added AIG simplifications in the form of a command line argument