Remove tt precondition in razoring.
Revert "Remove tt precondition in razoring."

This reverts commit 5561e371e2f1b2263bd6b2590c411b8907961003.