Symbol: add_constraint