Update constraints.h