TRS Equational: Old Wst Format With Explicit Equations

[J-C-Kassing]

Summary

The input parser for equational TRSs in the old WST format does not work properly at the moment.
AProVE cannot parse theory equations like

(THEORY (EQUATIONS
++(xs,++(ys,zs)) == ++(++(xs,ys),zs)
))

Impact

AProVE cannot analyze problems in the old WST Format for equational theory at the moment.
(The new parser for the new ARI format does still work properly)