Programmeertaalconcepten gebaseerd op coroutines en zijwaards doorgeven van informatie zijn alomtegenwoordig in moderne programmeertalen, waar ze vele programmeervoordelen bieden. Programma-analyses zijn echter slecht uitgerust om met hen om te gaan. Het gevolg is dat programmeurs zwakke en onbruikbare analyse-feedback krijgen en geen compileroptimalisaties.

Om deze situatie recht te zetten ontwikkelt dit project redeneertechnieken specifiek voor programmeertaalconcepten gebaseerd op coroutines.