Function drain 

pub fn drain(stmts: Vec<Exp>, tail: Exp) -> Exp

Where ANF comes from: one Let binding per reflected statement, in emission order, ending in tail.