Pošalji tekstualnu poruku: Probabilistic verification beyond context-freeness