Refactored TexPredefinedFormulaParser to improve readability and ascertaining more invariants
#484
| Job | Run time |
|---|---|
| 1m 15s | |
| 50s | |
| 3m 22s | |
| 5m 27s |