 < fact { (c9_text2.@ref) = 0 }
 
 
+diff -w -B regression/i40_integers_strings_assignment.als.reg positive/i40_integers_strings_assignment.als
+
+
+diff -w -B regression/i49_parentReduce.als.reg positive/i49_parentReduce.als
+
+
+diff -w -B regression/i49_resolve_ancestor.als.reg positive/i49_resolve_ancestor.als
+
+
 diff -w -B regression/i50.als.reg positive/i50.als
 #Michal: OK - as expected
+
 5d4
-< fact { #c1_A <= 0 }
+< fact { #c1_A = 0 }
+
+
+diff -w -B regression/i50_stop_following_references.als.reg positive/i50_stop_following_references.als
+
+
+diff -w -B regression/i55.als.reg positive/i55.als
+
+
+diff -w -B regression/i57-navParent.als.reg positive/i57-navParent.als
 
 
 diff -w -B regression/i61-cardinalities.als.reg positive/i61-cardinalities.als

> { (this.(@r_c2_y.@ref)) = (-1) }


diff -w -B regression/person_tutorial.als.reg positive/person_tutorial.als
#Michal: OK - as expected
130d129
< fact { #c96_TwoPersonLine <= 0 }
135d133
< fact { #c101_OneToTenPersonLine <= 0 }


diff -w -B regression/subtyping-primitive-types.als.reg positive/subtyping-primitive-types.als
#Michal: OK - as expected
10a11
> { (this.@ref) = 2 }
12d12


diff -w -B regression/top_level_constraints_with_relational_joins.als.reg positive/top_level_constraints_with_relational_joins.als
#Michal: OK - as expected

37a38
> { (this.@ref) = (#(c1_Course.@r_c2_assistants)) }
39d39
< fact { (c42_numerOfAssistants.@ref) = (#(c1_Course.@r_c2_assistants)) }


diff -w -B regression/Tutorial_Intro.als.reg positive/Tutorial_Intro.als
#Michal: OK - as expected

130d129
< fact { #c78_TwoPersonLine = 0 }
135d133
< fact { #c83_OneToTenPersonLine = 0 }


diff -w -B regression/umlcd_model.als.reg positive/umlcd_model.als
#Michal: OK - as expected

5d4
< fact { #c1_Boolean = 0 }
9d7
< fact { #c2_Integer = 0 }
13d10
< fact { #c3_String = 0 }
17d13
< fact { #c4_UnlimitedNatural = 0 }
21d16
< fact { #c5_Sequence = 0 }
25d19
< fact { #c6_Set = 0 }
29d22
< fact { #c7_Element = 0 }
46d38
< fact { #c46_NamedElement = 0 }
65d56
< fact { #c59_ValueSpecification = 0 }
69d59
< fact { #c60_DirectedRelationship = 0 }
90d79
< fact { #c91_Class = 0 }
109d97
< fact { #c104_Property = 0 }
201d188
< fact { #c240_Enumeration = 0 }
210d196
< fact { #c245_DataType = 0 }
219d204
< fact { #c250_EnumerationLiteral = 0 }
229d213
< fact { #c270_PrimitiveType = 0 }
233d216
< fact { #c271_Classifier = 0 }
285d267
< fact { #c355_Feature = 0 }
315d296
< fact { #c381_LiteralBoolean = 0 }
323d303
< fact { #c383_LiteralSpecification = 0 }
327d306
< fact { #c384_LiteralString = 0 }
335d313
< fact { #c386_LiteralNull = 0 }
339d316
< fact { #c387_LiteralInteger = 0 }
347d323
< fact { #c389_LiteralUnlimitedNatural = 0 }
355d330
< fact { #c391_StructuralFeature = 0 }
393d367
< fact { #c399_InstanceSpecification = 0 }
413d386
< fact { #c415_Slot = 0 }
434d406
< fact { #c446_InstanceValue = 0 }
443d414
< fact { #c457_Generalization = 0 }
471d441
< fact { #c507_Association = 0 }
506d475
< fact { #c560_ExtensionEnd = 0 }
522d490
< fact { #c565_GeneralizationSet = 0 }