My uni had one. Sadly I couldn’t fit it into my schedule because of overlaps and other requirements.

While it doesn’t say anything about IIV specifically, they sure got creative enough to sometimes subtract more than one of the smaller units from a larger one.

In my experience, it is good at simple to medium complexity regex. For the harder ones it starts being quite useless though, at best providing a decent starting point to begin debugging from.