Stub for an AIG transform that preserves combinational equivalence of the first M primary outputs, then preserves combinational equivalence of the next N primary outputs under the assumption of the first N
