TODO List for DIMACS Parser
===========================
- add checks for enhanced errors (`fn parse_safe_dimacs`)
- maybe add other DIMACS formats (e.g. edge)
- add some benchmarks testing performance of the new parsing facility
- add some other parser and lexer tests
- add fuzz testing
- add macro to easily create static formulas