let sym_is_apply = function Fun(Apply _) -> true | _ -> false