 >   (this.@ref) = (1.add[2]) }
 
 
+diff -w -B regression/Telematics_PLA.als.reg positive/Telematics_PLA.als
+
+
 diff -w -B regression/test_neg_typesystem.als.reg positive/test_neg_typesystem.als
 #Michal: OK - as expected
+
 18c18
 < fact { (c4_C.(@r_c2_performance.@ref)) = (-1.mul[(c3_D.(@r_c2_performance.@ref))]) }
 ---

< fact { (c9_text2.@ref) = 0 }


diff -w -B regression/i50.als.reg positive/i50.als
#Michal: OK - as expected
5d4
< fact { #c1_A <= 0 }


diff -w -B regression/i61-cardinalities.als.reg positive/i61-cardinalities.als

< { one r_c4_d }


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


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


diff -w -B regression/i72-shared-reference.als.reg positive/i72-shared-reference.als


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

5d4
< fact { #c1_Kernel = 0 }


diff -w -B regression/i78_transitive-closure.als.reg positive/i78_transitive-closure.als


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

5c5
< fact { #c1_a = 0 }
---
> fact { #c1_a <= 0 }


diff -w -B regression/i83-individual-scope.als.reg positive/i83-individual-scope.als


diff -w -B regression/i84-references-pointing-to-the-same-object.als.reg positive/i84-references-poi
nting-to-the-same-object.als


diff -w -B regression/i89-references-should-be-unique.als.reg positive/i89-references-should-be-uniq
ue.als


diff -w -B regression/i95-subclafers-not-visible-via-reference-reference.als.reg positive/i95-subcla
fers-not-visible-via-reference-reference.als


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

5d4
< fact { #c1_Person = 0 }
19d17
< fact { #c13_NewBorn = 0 }


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


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

15,16c15
< { (this.(@r_c4_display.@ref)) = 0
<   all disj x, y : this.@r_c4_display | (x.@ref) != (y.@ref) }
---
> { all disj x, y : this.@r_c4_display | (x.@ref) != (y.@ref) }
20c19,20
< { one r_c4_display }
---
> { one r_c4_display
>   (this.@ref) = 0 }
28d27
<   (this.(@r_c18_display.@ref)) = 1
37c36,37
< { one r_c18_display }
---
> { one r_c18_display
>   (this.@ref) = 1 }
44d43
<   (this.(@r_c42_display.@ref)) = 2
50c49,50
< { one r_c42_display }
---
> { one r_c42_display
>   (this.@ref) = 2 }
61d60
<   (this.(@r_c78_display.@ref)) = 3
67c66,67
< { one r_c78_display }
---
> { one r_c78_display
>   (this.@ref) = 3 }
72d71
<   (this.(@r_c94_display.@ref)) = 4
78c77,78
< { one r_c94_display }
---
> { one r_c94_display
>   (this.@ref) = 4 }
84d83
<   (this.(@r_c110_display.@ref)) = 5
90c89,90
< { one r_c110_display }
---
> { one r_c110_display
>   (this.@ref) = 5 }
102d101
<   (this.(@r_c127_display.@ref)) = 6
107c106,107
< { one r_c127_display }
---
> { one r_c127_display
>   (this.@ref) = 6 }
112d111
<   (this.(@r_c141_display.@ref)) = 7
117c116,117
< { one r_c141_display }
---
> { one r_c141_display
>   (this.@ref) = 7 }
122d121
<   (this.(@r_c155_display.@ref)) = 8
127c126,127
< { one r_c155_display }
---
> { one r_c155_display
>   (this.@ref) = 8 }


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

17,21c17
< { (some (this.@r_c123_CC).@r_c136_ACC) => (some this.@r_c62_FCA)
<   (this.(@r_c154_total_cost.@ref)) = (sum temp : (c182_Feature.@r_c183_cost) | temp.@ref)
<   (this.(@r_c161_total_comfort.@ref)) = (sum temp : (c185_ComfortFeature.@r_c183_cost) | temp.@ref
)
<   (this.(@r_c168_total_fuel.@ref)) = (sum temp : (c187_FuelFeature.@r_c183_cost) | temp.@ref)
<   (this.(@r_c175_total_mass.@ref)) = (sum temp : (c187_FuelFeature.@r_c184_mass) | temp.@ref) }
---
> { (some (this.@r_c123_CC).@r_c136_ACC) => (some this.@r_c62_FCA) }
123c119,120
< { one @r_c154_total_cost.this }
---
> { one @r_c154_total_cost.this
>   (this.@ref) = (sum(c182_Feature.(@r_c183_cost.@ref))) }
127c124,125
< { one @r_c161_total_comfort.this }
---
> { one @r_c161_total_comfort.this
>   (this.@ref) = (sum(c185_ComfortFeature.(@r_c183_cost.@ref))) }
131c129,130
< { one @r_c168_total_fuel.this }
---
> { one @r_c168_total_fuel.this
>   (this.@ref) = (sum(c187_FuelFeature.(@r_c183_cost.@ref))) }
135c134,135
< { one @r_c175_total_mass.this }
---
> { one @r_c175_total_mass.this
>   (this.@ref) = (sum(c187_FuelFeature.(@r_c184_mass.@ref))) }
162a163,168
> objectives o_global {
> minimize c1_aCar.(@r_c154_total_cost.@ref) ,
> minimize c1_aCar.(@r_c168_total_fuel.@ref) ,
> maximize c1_aCar.(@r_c161_total_comfort.@ref) ,
> minimize c1_aCar.(@r_c175_total_mass.@ref)
> }


diff -w -B regression/NECSIS-Workshop_Modeling_Variability_7.als.reg positive/NECSIS-Workshop_Modeling_Variability_7.als


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