diff --git a/tests/16-constraint-OK.asn1.-EF b/tests/16-constraint-OK.asn1.-EF
index 305fc3e..a1f8e85 100644
--- a/tests/16-constraint-OK.asn1.-EF
+++ b/tests/16-constraint-OK.asn1.-EF
@@ -1,10 +1,19 @@
-ModuleTestConstraint { iso org(3) dod(6) internet(1) private(4) enterprise(1)
-	spelio(9363) software(1) asn1c(5) test(1) 16 }
+ModuleTestConstraint1 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
+	spelio(9363) software(1) asn1c(5) test(1) 16 1 }
 DEFINITIONS ::=
 BEGIN
 
 Type0 ::= IA5String (((SIZE(1..10))(FROM("a".."z" | "#"))))
 
+Type6 ::= IA5String ((SIZE(1..10))(FROM("a".."z" | "#")))
+
+END
+
+ModuleTestConstraint2 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
+	spelio(9363) software(1) asn1c(5) test(1) 16 2 }
+DEFINITIONS ::=
+BEGIN
+
 Type1 ::= IA5String (SIZE(1..10,...))(FROM("a".."z" | "#",...))
 
 Type2 ::= IA5String (SIZE(MIN..4) | FROM("abc"))
@@ -15,8 +24,6 @@
 
 Type5 ::= BOOLEAN (TRUE | FALSE)
 
-Type6 ::= IA5String ((SIZE(1..10))(FROM("a".."z" | "#")))
-
 ten INTEGER ::= 10
 
 v1 Type1 ::= "#value with ""double quotes"""