 
 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)) }+< 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 }
< - 0.3.3 
> - 0.3.2

diff -w -B regression/i150-or-groups.als.reg positive/i150-or-groups.als
#Michal: OK - as expected
6,7c6,7
< { r_c2_B : lone c2_B
< , r_c3_C : lone c3_C }


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

25a26
> { (this.@ref) = (sum(c1_Component.(@r_c2_energy.@ref))) }
27d27
< fact { (c15_total.@ref) = (sum temp : (c1_Component.@r_c2_energy) | temp.@ref) }


diff -w -B regression/i19.als.reg positive/i19.als


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

24c24
< fact { #c6_f = 0 }
---
> fact { #c6_f <= 0 }


diff -w -B regression/i205-ref-disambiguation-II.als.reg positive/i205-ref-disambiguation-II.als


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

8c8
< fact { (c1_x.@ref) = ((-1.mul[(1.add[2])]).div[3]) }
---
> fact { (c1_x.@ref) = ((-(1.add[2])).div[3]) }


diff -w -B regression/i227-implicit-this-in-IR.als.reg positive/i227-implicit-this-in-IR.als


diff -w -B regression/i228-this-and-parent-types.als.reg positive/i228-this-and-parent-types.als


diff -w -B regression/i23.als.reg positive/i23.als


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

5d4
< fact { #c1_A = 0 }


diff -w -B regression/i40-text-equality.als.reg positive/i40-text-equality.als
