pub fn analyze(functions: &[MirFunction]) -> NumberTypes
Compute number-ness for every function in the program.