Function resolve_program 

pub fn resolve_program(items: &mut [TopLevel])

Run the resolver on all top-level function definitions, then annotate last-use information on all Resolved nodes.