Included __remoteTableDecl to TestAsyncSTM.hs