Aignet transform that returns the same network and simply writes a snapshot into an aiger file for debugging.
This is a product type introduced by fty::defprod.
