Αποστολή με SMS: Strictness Analysis for Higher Order Functions