constraint generation for unary plus and minus