aig decomposition of circuits to perform cut enumeration in order to determine functionally equivalent subcircuits