Pošalji tekstualnu poruku: Proof Methods for Structured Corecursive Programs