fixed if Check

src/main/java/semantic/SemanticAnalyzer.java

@@ -316,11 +316,15 @@ public class SemanticAnalyzer implements SemanticVisitor {
     @Override
     public TypeCheckResult analyze(IfElseNode toCheck) {
         var resultIf = toCheck.ifStatement.accept(this);
+        if(toCheck.elseStatement != null){
             var resultElse = toCheck.elseStatement.accept(this);
-
             return new TypeCheckResult(resultIf.isValid() && resultElse.isValid(), new BaseType(TypeEnum.VOID));
         }
 
+
+        return new TypeCheckResult(resultIf.isValid(), new BaseType(TypeEnum.VOID));
+    }
+
     @Override
     public TypeCheckResult analyze(MethodCallNode toCheck) {
 

src/test/java/semantic/EndToTypedAstTest.java

@@ -338,6 +338,17 @@ public class EndToTypedAstTest {
 
     }
 
+    @Test
+    public void Expression(){
+
+        ASTNode tast = SemanticHelper.generateTypedASTFrom("src/test/resources/input/singleFeatureSemanticTests/Expression.java");
+
+        SemanticAnalyzer.generateTast(tast);
+
+        assertTrue(SemanticAnalyzer.errors.isEmpty());
+
+    }
+
     // ------------------ Helpers ------------------
 
     /**

src/test/resources/input/singleFeatureSemanticTests/Expression.java

@@ -0,0 +1,10 @@
+class VariableCompare{
+
+    void trueMethod(boolean a, int c) {
+        if(a && c == 10){
+
+        }
+    }
+
+
+}