let sym_is_abs = function Fun(Abs) -> true | _ -> false