TODO in veritas-optimizer-0.0.6 vs TODO in veritas-optimizer-0.0.7

@@ -80,9 +80,13 @@
     * When it has an equality on a unique attribute:
       * Limit with a limit >= 1 can be factored out
       * Offset with an offset > 0 can be transformed into an empty
         relation, since at most there can be only one match.
 
+   * When wrapping a Product and the predicate only contains
+     equality/conjunction between attributes from the left and right
+     operands, then transform into a Join.
+
   * Connective
     * "attr > ? OR attr > ?" -> "attr > ?", with the least restrictive value
       * Do the same for >=, <, <=
     * "attr > ? AND attr > ?" -> "attr > ?", with the most restrictive value
       * Do the same for >=, <, <=