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