An instructive model for a polyvariant, pushdown(!), higher-order flow analysis for delimited, composable control.