UberPyro

Filtering does not terminate on a small set of unifiers.

3

Using Maude 3.3.1 on Ubuntu 20.04 and an Intel processor, I'm loading Maude with a file containing the following: ``` fmod SUB-STACK is sorts Nat Stk . op 0 :...