Fix a bug in branchcut decoder when sent codeword is revealed