Add return value for add_constraint