diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/ansd/impl/MddNodeNextStateDescriptor.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/ansd/impl/MddNodeNextStateDescriptor.java
index e1fe965b6f..35899092c5 100644
--- a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/ansd/impl/MddNodeNextStateDescriptor.java
+++ b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/ansd/impl/MddNodeNextStateDescriptor.java
@@ -51,7 +51,7 @@ public int hashCode() {
 
     @Override
     public String toString() {
-        return node +", " + variableHandle;
+        return node + ", " + variableHandle;
     }
 
     private MddNodeNextStateDescriptor(MddNode node, MddVariableHandle variableHandle) {
diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/fixedpoint/LegacyRelationalProductProvider.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/fixedpoint/LegacyRelationalProductProvider.java
index 4344dc7c62..427641cd9b 100644
--- a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/fixedpoint/LegacyRelationalProductProvider.java
+++ b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/mdd/fixedpoint/LegacyRelationalProductProvider.java
@@ -153,7 +153,8 @@ private MddNode doCompute(
                 }
             }
             template = templateBuilder.buildAndReset();
-            if (!template.isEmpty()) Preconditions.checkArgument(lhs.defaultValue() == null, "Default value is not supported with explicit edges");
+            if (!template.isEmpty())
+                Preconditions.checkArgument(lhs.defaultValue() == null, "Default value is not supported with explicit edges");
         }
 
         ret = variable.checkInNode(MddStructuralTemplate.of(template));
diff --git a/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddRelProdTest.java b/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddRelProdTest.java
index cc864327a3..969f9a43ea 100644
--- a/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddRelProdTest.java
+++ b/subprojects/common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddRelProdTest.java
@@ -161,7 +161,7 @@ public static Collection<Object[]> data() {
 
                 {List.of(A, B),
                         True(),
-                        And(Prime(A.getRef()),Prime(B.getRef())), // a', b'
+                        And(Prime(A.getRef()), Prime(B.getRef())), // a', b'
                         1L},
 
                 {List.of(A, B),
@@ -219,9 +219,9 @@ public void test() throws Exception {
 
             varOrder.forEach(v -> {
                 final var domainSize = Math.max(v.getType().getDomainSize().getFiniteSize().intValue(), 0);
-                stateOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0),domainSize));
-                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(1),domainSize));
-                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0),domainSize));
+                stateOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0), domainSize));
+                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(1), domainSize));
+                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0), domainSize));
             });
 
             final var stateSig = stateOrder.getDefaultSetSignature();