let is_negatable = function
  | In(_, c) -> Sign.complementable c
  | _ -> true