let neg x = 
  match x with
    | Value v -> inject (Int.neg v)
    | Top | Bottom -> x