Symbol: assert_invariant