fix: more precise new object types

A new object should not be an instance of any subclasses.
Also, it should be possible cleare a node without any other type.

1 files changed, 2 insertions, 1 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java
index 79ca32ff..c828b3d5 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java
@@ -64,7 +64,8 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> {
                 }
                 var initializer = initializerProvider.get();
                 var builder = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder());
+                                .with(ViatraModelQueryAdapter.builder())
+                                .with(ReasoningAdapter.builder());
                 operationCanceledManager.checkCanceled(cancelIndicator);
                 try {
                         var modelSeed = initializer.createModel(problem, builder);