Add rewrite for JSE of cartesian products.