Describir: An Upper Bound on the Error Probability of RPA Decoding of Reed-Muller Codes Over the BSC