let cnstrnt_is_neg s = (s = Sign.Neg)