Symbol: reset_assert_all