Symbol: assert_div