שליחה במסרון: Strictness Analysis for Higher Order Functions