folding of two consecutive set-notations triggers a bug in WLF

Extended Description

The attached code is an excerpt from a matrix multiplication testcase provided by Michael Bullington at TTU.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information