1 files changed, 2 insertions, 4 deletions

diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java b/language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java
index 33f8c50f..56de6b1b 100644
--- a/language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java
+++ b/language/src/main/java/org/eclipse/viatra/solver/language/scoping/ProblemScopeProvider.java
@@ -57,16 +57,14 @@ public class ProblemScopeProvider extends AbstractProblemScopeProvider {
         protected IScope getVariableScope(EObject context, IScope delegateScope) {
                 List<Variable> variables = new ArrayList<>();
                 EObject currentContext = context;
-                if (context instanceof VariableOrNodeArgument) {
-                        VariableOrNodeArgument argument = (VariableOrNodeArgument) context;
+                if (context instanceof VariableOrNodeArgument argument) {
                         Variable singletonVariable = argument.getSingletonVariable();
                         if (singletonVariable != null) {
                                 variables.add(singletonVariable);
                         }
                 }
                 while (currentContext != null && !(currentContext instanceof PredicateDefinition)) {
-                        if (currentContext instanceof ExistentialQuantifier) {
-                                ExistentialQuantifier quantifier = (ExistentialQuantifier) currentContext;
+                        if (currentContext instanceof ExistentialQuantifier quantifier) {
                                 variables.addAll(quantifier.getImplicitVariables());
                         }
                         currentContext = currentContext.eContainer();