Symbol: itree_add_constraint