Accept a unary operator in constrain_operands