Function product 

pub fn product(left: &Aig, right: &Aig) -> Result<Product, MiterError>

The two circuits as one Product.