diff --git a/flattening/modelica/scodeinst/CevalInteger1.mo b/flattening/modelica/scodeinst/CevalInteger1.mo
index 99ad16361..2a5521746 100644
--- a/flattening/modelica/scodeinst/CevalInteger1.mo
+++ b/flattening/modelica/scodeinst/CevalInteger1.mo
@@ -7,10 +7,14 @@
 
 model CevalInteger1
   constant Integer i1 = integer(3.4);
+  constant Integer i2 = integer(4 / 2);
+  constant Integer i3 = integer(2);
 end CevalInteger1;
 
 // Result:
 // class CevalInteger1
 //   constant Integer i1 = 3;
+//   constant Integer i2 = 2;
+//   constant Integer i3 = 2;
 // end CevalInteger1;
 // endResult