[Termtools] Certification problem (because of ampersand encoding in XML)

[Johannes Waldmann]

Dear all,

can you help me debug this issue
which appears in runtime complexity innermost certified,
but is independent of the semantics of that category:

this is accepted:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/pairs/117958579

but this is not:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/pairs/117958580

one has: <name><</name> ,

other has: <name>&lt;</name>

resulting in an input mismatch. Rightly so?

- Johannes.