transt: add a non-deprecated constructor

The only existing constructor relied on a constructor of ternary_exprt that is
marked deprecated. Thus mark the existing one deprecated and add one that will
survive removal of deprecated functions.

Author: tautschnig

src/util/std_expr.h

@@ -93,10 +93,21 @@ class ternary_exprt : public exprt
 class transt : public ternary_exprt
 {
 public:
+  DEPRECATED("use transt(op0, op1, op2) instead")
   transt() : ternary_exprt(ID_trans)
   {
   }
 
+  transt(
+    const irep_idt &_id,
+    const exprt &_op0,
+    const exprt &_op1,
+    const exprt &_op2,
+    const typet &_type)
+    : ternary_exprt(_id, _op0, _op1, _op2, _type)
+  {
+  }
+
   exprt &invar() { return op0(); }
   exprt &init()  { return op1(); }
   exprt &trans() { return op2(); }