constraint generation for operators