Rewriter: AIG is loaded from binary file now.