Tracking word nesting during stack effect inference
