Function decompose_app 

pub fn decompose_app(expr: &Expr) -> (&Expr, Vec<&Expr>)

Collect the arguments of a spine application f a1 a2 … an.

Returns (head, [a1, …, an]).