pub fn get_nth_arg(e: &Expr, n: usize) -> Option<&Expr>
Get the n-th argument in an application chain (0-indexed).
n