Optimize the product zone, by not duplicating clocks constrained to have the same value (those in Y).
Optimize the product zone, by not duplicating clocks constrained to have the same value (those in Y).

osankur/udbml,osankur/udbml,osankur/udbml