* in Ie374524dbdf6a753063172fb88e6f60e91b9212e parsing
of operatorname was simplified. However, in this
process a space after operatorname was introduced.
* This adjusts the reference files pointing to the
latest release on zendo
https://doi.org/10.5281/zenodo.14209690
Bug: T375274
Change-Id: I29a797cdf16088d704c343dd66cc7bfafc519cd9
* Currently the regression test only tests if all formulae that passed the test before still pass the test
* This change also compares the output
Change-Id: Ib667de2e7e512cf7d045e28a19c6a5f7d994dfc6