Probabilistic Verification Beyond Context-Freeness