diff --git a/tests/16-constraint-OK.asn1 b/tests/16-constraint-OK.asn1
index 5625d7f..50ee2e2 100644
--- a/tests/16-constraint-OK.asn1
+++ b/tests/16-constraint-OK.asn1
@@ -12,11 +12,15 @@
 BEGIN
 
 	-- external reference
-	Type1 ::= IA5String (SIZE(1..10,...))(FROM("a".."z"|"#"))
+	Type0 ::= IA5String (Type6)
+	Type1 ::= IA5String (SIZE(1..ten,...))(FROM("a".."z"|"#",...))
 	Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc"))
 	Type3 ::= BMPString (SIZE(1))
 	Type4 ::= INTEGER (1..MAX)
 	Type5 ::= BOOLEAN (TRUE|FALSE)
+	Type6 ::= IA5String (Type1)
+
+	ten INTEGER ::= 10
 
 	v1 Type1 ::= "#value wi
 		th ""double quotes"""
diff --git a/tests/16-constraint-OK.asn1.-EF b/tests/16-constraint-OK.asn1.-EF
index 9fae28c..305fc3e 100644
--- a/tests/16-constraint-OK.asn1.-EF
+++ b/tests/16-constraint-OK.asn1.-EF
@@ -3,7 +3,9 @@
 DEFINITIONS ::=
 BEGIN
 
-Type1 ::= IA5String (SIZE(1..10,...))(FROM("a".."z" | "#"))
+Type0 ::= IA5String (((SIZE(1..10))(FROM("a".."z" | "#"))))
+
+Type1 ::= IA5String (SIZE(1..10,...))(FROM("a".."z" | "#",...))
 
 Type2 ::= IA5String (SIZE(MIN..4) | FROM("abc"))
 
@@ -13,6 +15,10 @@
 
 Type5 ::= BOOLEAN (TRUE | FALSE)
 
+Type6 ::= IA5String ((SIZE(1..10))(FROM("a".."z" | "#")))
+
+ten INTEGER ::= 10
+
 v1 Type1 ::= "#value with ""double quotes"""
 
 END
diff --git a/tests/16-constraint-OK.asn1.-EFprint-constraints b/tests/16-constraint-OK.asn1.-EFprint-constraints
new file mode 100644
index 0000000..f5f0ddf
--- /dev/null
+++ b/tests/16-constraint-OK.asn1.-EFprint-constraints
Binary files differ