z3tracer/src/model.rs (3 lines):
	- line 927: // TODO: consolidate equalities in all scopes?
	- line 1192: // TODO check that this was None.
	- line 1223: // TODO check that this was None.


smt2parser/src/lib.rs (1 line):
	- line 138: // TODO: report invalid tokens as an error.


z3tracer/src/report.rs (1 line):
	- line 51: // TODO: remove after Rust issue 59278 is closed.


smt2patch/src/lib.rs (1 line):
	- line 312: // TODO: repeat after resets