add a complete constructor for multi_ary_exprt

Author: Daniel Kroening

src/util/std_expr.h

@@ -973,22 +973,32 @@ template<> inline bool can_cast_expr<binary_relation_exprt>(const exprt &base)
 class multi_ary_exprt:public exprt
 {
 public:
-  DEPRECATED("use multi_ary_exprt(id, type) instead")
+  DEPRECATED("use multi_ary_exprt(id, op, type) instead")
   multi_ary_exprt()
   {
   }
 
-  DEPRECATED("use multi_ary_exprt(id, type) instead")
+  DEPRECATED("use multi_ary_exprt(id, op, type) instead")
   explicit multi_ary_exprt(const irep_idt &_id):exprt(_id)
   {
   }
 
+  DEPRECATED("use multi_ary_exprt(id, op, type) instead")
   multi_ary_exprt(
     const irep_idt &_id,
     const typet &_type):exprt(_id, _type)
   {
   }
 
+  multi_ary_exprt(
+    const irep_idt &_id,
+    operandst &&_operands,
+    const typet &_type)
+    : exprt(_id, _type)
+  {
+    operands() = std::move(_operands);
+  }
+
   multi_ary_exprt(
     const exprt &_lhs,
     const irep_idt &_id,