refactor: enable data variable unification

This is needed for demand set transformation of DNFs with input data parameters,
where the result of the transformation has an out data parameter that has to be
unified with the variable in the parent clause.

1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java
index 38fd017e..d51bc9fc 100644
--- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java
+++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java
@@ -88,7 +88,7 @@ public class Dnf2PQuery {
                 List<PParameter> parameterList = new ArrayList<>();
                 for (var parameter : dnfQuery.getSymbolicParameters()) {
                         var direction = switch (parameter.getDirection()) {
-                                case OUT -> parameter.isUnifiable() ? PParameterDirection.INOUT : PParameterDirection.OUT;
+                                case OUT -> PParameterDirection.INOUT;
                                 case IN -> throw new IllegalArgumentException("Query %s with input parameter %s is not supported"
                                                 .formatted(dnfQuery, parameter.getVariable()));
                         };