Flesh out control-flow sensitivity section.j