fix async-channel static contract in TR