Make TR compile with contracts enabled again.