addconstr