Function flow 

pub fn flow(program: &Program, ty_name: &str) -> Vec<Reach>

§4.7’s beck explain flow ApiKey: every definition whose signature mentions a type, the tier it runs on, and whether that is a leak.