Отправить по sms: Strictness Analysis for Higher Order Functions