new constraint type and worked on constraint generation for operators