diff --git a/stcheck.py b/stcheck.py
index 6ee7069ca42c6866c90a888b622d96f3e7226248_c3RjaGVjay5weQ==..68e24fceb3ffe1ba25e57beceb8a20c4a0d8f84f_c3RjaGVjay5weQ== 100644
--- a/stcheck.py
+++ b/stcheck.py
@@ -367,9 +367,10 @@
                             continue
             # shared references
             newvar.stinfo['constnode'] = var.stinfo['constnode']
-            newvar.stinfo['possibletypes'] = var.stinfo['possibletypes']
-            for sol in newvar.stmt.solutions:
-                sol[newvar.name] = sol[var.name]
+            if newvar.stmt.solutions: # solutions already computed
+                newvar.stinfo['possibletypes'] = var.stinfo['possibletypes']
+                for sol in newvar.stmt.solutions:
+                    sol[newvar.name] = sol[var.name]
             rel = exists.add_relation(var, 'identity', newvar)
             # we have to force visit of the introduced relation
             self.visit_relation(rel, exists)