Improve performance of assertion rewriting.