Anfonwch hwn fel neges destun: Probabilistic verification beyond context-freeness