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