--- a/SmallSense__SmalltalkInferencer.st	Wed Sep 18 02:04:24 2013 +0100
+++ b/SmallSense__SmalltalkInferencer.st	Wed Sep 18 02:36:36 2013 +0100
@@ -287,11 +287,17 @@
 !SmalltalkInferencer::Phase1 methodsFor:'visiting'!
 
 visitAssignmentNode:anObject
-
+    | type |
+    
     self visit: anObject variable.
     self visit: anObject expression.
+    type := anObject expression inferedType type.
+    type isUnknownType ifFalse:[
+         anObject variable inferedType union: type
+    ].
 
     "Created: / 26-11-2011 / 13:53:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 18-09-2013 / 02:31:08 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 visitBlockNode:anObject