In the definition of macro WT_CHECK_RECOVERY_FLAG_TS_TXNID, the durablets parameter is not surrounded by parentheses in the implementation. This could cause unexpected behaviour should an expression be passed in as a parameter. 

Macro parameters should always be surrounded by parentheses in the implementation. See here, for example.