adds constraints