Symbol: damon_test_split_evenly_succ