Fix check-unreachable-code? mode in TR