diff --git a/src/main/java/myutil/intboolsolver/IBSolver.java b/src/main/java/myutil/intboolsolver/IBSolver.java
index 037748b69389e0b0441f0629a011ea16ccfb9678..fb6927beb81cc95cc38757e2c15d60b06af70269 100644
--- a/src/main/java/myutil/intboolsolver/IBSolver.java
+++ b/src/main/java/myutil/intboolsolver/IBSolver.java
@@ -262,15 +262,15 @@ public class IBSolver <
                 if (expression.equals("true")) {
                     intValue = 1;
                     isImmediateValue = IMMEDIATE_BOOL;
-                    returnVal = true;
+                    return true;
                 } else if (expression.equals("false")) {
                     intValue = 0;
                     isImmediateValue = IMMEDIATE_BOOL;
-                    returnVal = true;
+                    return true;
                 } else if (expression.matches("-?\\d+")) {
                     intValue = Integer.parseInt(expression);
                     isImmediateValue = IMMEDIATE_INT;
-                    returnVal = true;
+                    return true;
                 } else {
                     IBSTypedAttribute att = attC.getTypedAttribute(_comp, expression);
                     switch (att.getType()) {