BRIO: Low-Level Analysis of Trust in Probabilistic and Opaque Programs. The Reasoner, v. 17, n. 4, 1 Jul.2023.