let is_const = function Const _ -> true | _ -> false