fix: containment link translation

Improper equality implementation of representative election literals merged weak
and strong connected components during query canonicalization.

1 files changed, 9 insertions, 3 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 483d24f6..eb7ab204 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
@@ -54,7 +54,10 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> {
 
         @Override
         public SemanticsResult compute(IXtextWebDocument doc, CancelIndicator cancelIndicator) {
-                long start = System.currentTimeMillis();
+                long start = 0;
+                if (LOG.isTraceEnabled()) {
+                        start = System.currentTimeMillis();
+                }
                 Problem problem = getProblem(doc, cancelIndicator);
                 if (problem == null) {
                         return null;
@@ -73,8 +76,11 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> {
                         var model = store.getAdapter(ReasoningStoreAdapter.class).createInitialModel(modelSeed);
                         operationCanceledManager.checkCanceled(cancelIndicator);
                         var partialInterpretation = getPartialInterpretation(initializer, model, cancelIndicator);
-                        long end = System.currentTimeMillis();
-                        LOG.info("Computed semantics for {} ({}) in {}ms", doc.getResourceId(), doc.getStateId(), end - start);
+                        if (LOG.isTraceEnabled()) {
+                                long end = System.currentTimeMillis();
+                                LOG.trace("Computed semantics for {} ({}) in {}ms", doc.getResourceId(), doc.getStateId(),
+                                                end - start);
+                        }
                         return new SemanticsSuccessResult(nodeTrace, partialInterpretation);
                 } catch (RuntimeException e) {
                         LOG.error("Error while computing semantics", e);