diff --git a/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn b/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn
index 5d1bdd42ea0ef774a1d5715a43e536c70898271e..116107cc56fe8eb918aac3f08cd9917d75f095aa 100644
--- a/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn
+++ b/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn
@@ -19,7 +19,7 @@ module high_titan_SE {	//^In TTCN-3 module `high_titan_SE':$//
 with {
   extension "requiresTITAN R1A01"; /* surely this can be satisfied, but not the next one */
   extension "requiresTITAN CRL 113 200/65535 R99Z"; //^error: This module needs to be compiled with TITAN version CRL 113 200/\d+ R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version CRL 113 200(\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected
-  //NEW: extension "requiresTITAN 65535/CAX 105 200 R99Z"; //^error: This module needs to be compiled with TITAN version 7/CAX 105 7730 R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (\d+)\/CAX 105 7730 R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
+  /* NEW: extension "requiresTITAN 65535/CAX 105 7730 R99Z"; //^error: This module needs to be compiled with TITAN version 7/CAX 105 7730 R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (\d+)\/CAX 105 7730 R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//  */
   // WARNING! Different regexes, where one is a stricter version of the other, are not allowed
   // (a limitation of the checker script logic).
   // So we can't have the above regex check for precisely /R9Z/ and the one below
@@ -27,9 +27,9 @@ with {
 
   /* Test needs to be adjusted for every release !!!!!!! */
   extension "requiresTITAN CRL 113 200/7 R2A"; /* This one must just pass, the next one must just fail */
-  //extension "requiresTITAN 7/CAX 105 7730 R2A"; /* This one must just pass, the next one must just fail */
+  // extension "requiresTITAN 7/CAX 105 7730 R2A"; /* This one must just pass, the next one must just fail */
   extension "requiresTITAN CRL 113 200/7 R2B01"; //^error: This module needs to be compiled with TITAN version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
-  //NEW: extension "requiresTITAN 7/CAX 105 7730 R2B01"; //^error: This module needs to be compiled with TITAN version (C[RNA][LX] \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version 7\/(C[RNA][LX] \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected//
+  /* NEW: extension "requiresTITAN 7/CAX 105 7730 R2B01"; //^error: This module needs to be compiled with TITAN version (C[RNA][LX] \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version 7\/(C[RNA][LX] \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected// */
 
   /* The old style RnXnn, without the CRL 113 200 and the suffix, implies major version 1
    * Now that Titan is at version 6, the following will always pass: