M3CParser fails when ID is a formula token

[mtf90]

Describe the bug
When calling M3CParser#parse with a formula that uses a token as a symbol identifier, the parser fails with a net.automatalib.modelchecker.m3c.formula.parser.ParseException.

To Reproduce
Parsing any formula that uses a token as an ID, e.g.,

• <E>true
• <U>true
• <W>true
• <AF>true
• [mu]true
• etc.

Expected behavior
Formula should be parsed without any issues an actually interpret the token as a valid action label.

Desktop (please complete the following information):

• OS: Linux
• Java version: 11, 17, 21
• AutomataLib version: 0.11.0