Integrated rewrite rules with assert/asser!/defineTerm.