Module Domains.Product

Domain products, used to combine abstractions

Simple naive product, runs both analysis in parallel

Product between SSA domains