I think this might fall over pretty quickly in the presence of first-class functions. In that case, you can’t determine the control graph statically. You’ll nee

I think this might fall over pretty quickly in the presence of first-class functions. In that case, you can’t determine the control graph statically. You’ll need Control-Flow Analysis for that. Also, not surprised Racket already has occurrence typing. It’s got basically everything else.