Symbol: check_invariants