Symbol: itree_next_constraint