Symbol: check_neg_invariants