refactor: do not construct uneeded interpretation

Model generation only has to extract the candidate interpretaion, partial
intepretation queries are only needed if they appear in a rule, constraint, or
objective.

1 files changed, 2 insertions, 1 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
index e14982a7..77fc7484 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
@@ -178,7 +178,8 @@ public class ModelGenerationWorker implements Runnable {
                                 .with(PropagationAdapter.builder())
                                 .with(StateCoderAdapter.builder())
                                 .with(DesignSpaceExplorationAdapter.builder())
-                                .with(ReasoningAdapter.builder());
+                                .with(ReasoningAdapter.builder()
+                                                .requiredInterpretations(Concreteness.CANDIDATE));
                 var modelSeed = initializer.createModel(problem, storeBuilder);
                 var store = storeBuilder.build();
                 cancellationToken.checkCancelled();