Reenable DPGD test

[MxmUrw]

Since its output is implementation specific it makes no sense to run it during development

[MxmUrw]

What we currently (aebc2da) get is:

Type:
{
  -  Matrix<n: L∞, c: τ_93>[s_48 × s_49](Data)
      @ (0.0 + 4.0⋅(1 / s_48)⋅sqrt(2.0⋅ceil((1 / s_75)⋅s_48⋅s_72)⋅(0.0 - ln(s_64)))⋅s_24⋅s_75, 0.0 + s_25⋅(1 / s_48)⋅ceil((1 / s_75)⋅s_48⋅s_72)⋅s_75 + s_64)
  
  -  Matrix<n: L∞, c: τ_93>[s_48 × s_52](Data)
      @ (4.0⋅(1 / s_48)⋅sqrt(2.0⋅ceil((1 / s_75)⋅s_48⋅s_72)⋅(0.0 - ln(s_64)))⋅s_24⋅s_75, s_25⋅(1 / s_48)⋅ceil((1 / s_75)⋅s_48⋅s_72)⋅s_75 + s_64)
  
  -  τ_123[s_24]
      @ (0.0, 0.0)
  
  -  τ_125[s_25]
      @ (0.0, 0.0)
  
  -  τ_133[s_66]
      @ (0.0, 0.0)
  
  -  Int[s_72]
      @ (0.0, 0.0)
  
  -  Int[s_75]
      @ (0.0, 0.0)
  --------------------------
   ->* DMModel[31810.0]

}
---------------------------------------------------------------------------
Constraints:
   - top:
constr_52 : [final,worst,global,exact,special] IsLessEqual (2.0⋅(1 / s_75)⋅ceil(s_75),2.0⋅(1 / s_75)),
constr_21 : [final,worst,global,exact,special] IsLess (∑∅,s_24),
constr_22 : [final,worst,global,exact,special] IsLess (∑∅,s_25),
constr_53 : [final,worst,global,exact,special] IsLessEqual (2.0⋅(1 / s_75)⋅ceil(s_75),2.0⋅(1 / s_75)),
constr_20 : [final,worst,global,exact,special] IsLess (s_25,1),
constr_19 : [final,worst,global,exact,special] IsLess (s_24,1),
constr_68 : [final,worst,global,exact,special] IsLess (∑∅,s_64),
constr_67 : [final,worst,global,exact,special] IsLessEqual (s_64,1)
   - others:

[ooovi]

we will do this once the test system is more sophisticated and we don't need to reanme all the variables whenever we change something in the typecheker