itree_add_constraint
static struct constraintlist *itree_add_constraint(struct arrow *arrowp,
(void) itree_add_constraint(ap,
(void) itree_add_constraint(ap,
(void) itree_add_constraint(ap, iexpr(newc));