add regression test for aliasing in product rewritting
1 file changed