diff --git a/Jenkinsfile b/Jenkinsfile
index aa3baf816..147f30b61 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,14 +5,14 @@ def img
 def PRIVATE_REGISTRY = "https://10.0.0.21:5201"
 
 pipeline {
-  agent none 
+  agent none
   options {
     ansiColor('xterm')
   }
   stages {
     stage ( 'Pull Request' ) {
       agent any
-      when { 
+      when {
         changeRequest()
         beforeAgent true
       }
diff --git a/semantics/cpp/language/translation/decl/initializer.k b/semantics/cpp/language/translation/decl/initializer.k
index 502e4e6b6..1d135243d 100644
--- a/semantics/cpp/language/translation/decl/initializer.k
+++ b/semantics/cpp/language/translation/decl/initializer.k
@@ -326,13 +326,15 @@ module CPP-TRANSLATION-DECL-INITIALIZER
 
      syntax Bool ::= hasInit(CId, Map) [function]
 
-     rule hasInit(X:CId, X |-> M::Map _) => notBool isNoInit(M)
+     rule hasInit(X:CId, (X |-> M:Map) _) => #hasInit(M)
 
-     syntax Bool ::= isNoInit(Map) [function]
+     rule hasInit(_, _) => false [owise]
 
-     rule isNoInit(_ |-> (_, NoInit())) => true
+     syntax Bool ::= #hasInit(Map) [function]
 
-     rule isNoInit(_ |-> _) => false [owise]
+     rule #hasInit(_ |-> (_, NoInit())) => false
+
+     rule #hasInit(_) => true [owise]
 
      syntax Expr ::= classAggInit(base: LVal, fields: List, initList: List, initializers: Map, class: Class, initExp: K, ctype: ConstructorType, duration: Duration)