Văn bản này: Strictness Analysis for Higher Order Functions