Function flatten_max 

pub fn flatten_max(l: &Level) -> Vec<(Level, u32)>

Flatten a level to a list of (base, offset) pairs representing max arguments.

E.g., max(max(u, v+1), w+2) → [(u,0), (v,1), (w,2)].