Symbol: mn_itree_inv_start_range