Map of defined ProdOp.
A ProdOp is the product of multiple two-site gates.
Referenced by add(), getProd(), and serialize().