term_rewriting is used at run time in 1 crate.

Depender term_rewriting version
programinduction ^0.7.0