Function get_app_fn_args 

pub fn get_app_fn_args(e: &Expr) -> (&Expr, Vec<&Expr>)

Decompose an expression into its head function and arguments.

get_app_fn_args(f a1 a2) returns (f, [a1, a2]).