amzn-smt-prediction/scripts/get_solver_output.py (2 lines):
	- line 6: solvers = ['cvc4', 'z3'] # TODO If adding a new solver, add it here
	- line 35: # TODO Set options to enable Z3 output of lemmas


amzn-smt-prediction/scripts/get_word_count_features.py (2 lines):
	- line 4: solvers   = ['cvc4', 'z3'] # TODO If adding a new solver, add it here
	- line 5: theories  = ['qf_slia']    # TODO If adding a new theory, add it here


amzn-smt-ir/src/fold.rs (2 lines):
	- line 391: // TODO: extend `Fold` derive to work for `CoreOp`
	- line 402: // TODO: extend `Fold` derive to work for `CoreOp`


amzn-smt-ir/src/cnf.rs (2 lines):
	- line 251: // TODO: is there a better encoding for variadic XOR?
	- line 424: // TODO: support this once `Logic::Var` no longer exists.


amzn-smt-ir/src/types.rs (2 lines):
	- line 322: // TODO: this probably should be the impl that exists
	- line 535: // TODO: don't clone, which requires a way to lookup interned symbols by &str


amzn-smt-ir/src/visit.rs (2 lines):
	- line 263: // TODO: extend `Visit` derive to work for `CoreOp`
	- line 270: // TODO: extend `Visit` derive to work for `CoreOp`


amzn-smt-ir/src/term.rs (2 lines):
	- line 126: // FIXME: does this make more sense or does it make more sense to group the three into a
	- line 218: // TODO: this is Copy now, but once `Intern` is switched to `ArcIntern`


amzn-smt-ir/src/term/convert.rs (1 line):
	- line 355: // TODO: take attributes into account?


amzn-smt-ir/src/logic.rs (1 line):
	- line 203: // TODO: generate an enum of each variant's iterator types instead of boxing


amzn-smt-ir-derive/src/lib.rs (1 line):
	- line 228: // TODO: instead of boxing, could also make an enum -- might be worth it


amzn-smt-prediction/scripts/generate_predictions.py (1 line):
	- line 27: SUPPORTED_THEORIES = ['QF_SLIA', 'QF_IDL', 'QF_LIA'] # TODO If adding a theory, add it here


amzn-smt-eager-arithmetic/src/lib.rs (1 line):
	- line 123: // TODO: is it necessary to eliminate lets up-front?


amzn-smt-ir/src/term/sort_checking.rs (1 line):
	- line 29: // TODO: this isn't really what it is, but it'll print out right


amzn-smt-ir/src/ackerman.rs (1 line):
	- line 284: // TODO: actually test something


amzn-smt-eager-arithmetic/src/canonicalize.rs (1 line):
	- line 237: // TODO: can the bound be computed with `ite` and `distinct` applications left as-is?


amzn-smt-prediction/scripts/get_word_counts.py (1 line):
	- line 8: solvers = ['cvc4', 'z3'] # TODO If adding a new solver, add it here