Homework Task for Spb AU Model Checking Course' 13