Decoding_probability: also counting transmitted symbols