overview of information flow at runtime. where states are computed and where they flow from/to.