let is_const = function App(_,[], _) -> true | _ -> false