Make TR tests work with contracts enabled.