added new ocl constraint for CAIR