let is_neg = function Neg _ -> true | _ -> false