1 files changed, 14 insertions, 5 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java
index 3e5ef88e..439298d0 100644
--- a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/PredicateAtom.java
@@ -4,52 +4,61 @@ import java.util.List;
 import java.util.Map;
 import java.util.Set;
 
-public class PredicateAtom implements DNFAtom{
+public class PredicateAtom implements DNFAtom {
         private DNFPredicate referred;
         private List<Variable> substitution;
         private boolean positive;
         private boolean transitive;
-        
+
         public PredicateAtom(boolean positive, boolean transitive, DNFPredicate referred, List<Variable> substitution) {
                 this.positive = positive;
                 this.referred = referred;
                 this.substitution = substitution;
                 this.transitive = transitive;
         }
+
         public DNFPredicate getReferred() {
                 return referred;
         }
+
         public void setReferred(DNFPredicate referred) {
                 this.referred = referred;
         }
+
         public List<Variable> getSubstitution() {
                 return substitution;
         }
+
         public void setSubstitution(List<Variable> substitution) {
                 this.substitution = substitution;
         }
+
         public boolean isPositive() {
                 return positive;
         }
+
         public void setPositive(boolean positive) {
                 this.positive = positive;
         }
+
         public boolean isTransitive() {
                 return transitive;
         }
+
         public void setTransitive(boolean transitive) {
                 this.transitive = transitive;
         }
+
         @Override
         public void unifyVariables(Map<String, Variable> variables) {
-                for(int i = 0; i<this.substitution.size(); i++) {
+                for (int i = 0; i < this.substitution.size(); i++) {
                         final Object term = this.substitution.get(i);
-                        if(term instanceof Variable) {
-                                Variable variableReference = (Variable) term;
+                        if (term instanceof Variable variableReference) {
                                 this.substitution.set(i, DNFAtom.unifyVariables(variables, variableReference));
                         }
                 }
         }
+
         @Override
         public void collectAllVariables(Set<Variable> variables) {
                 DNFAtom.addToCollection(variables, substitution);