Semantyka i weryfikacja programów/Ćwiczenia 15