Pošljite SMS: Control Flow Analysis for SF Combinator Calculus