What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute