Duplicated error message
The following code
new x y : !integer.?boolean.end x!1 | y?z.y!true
prints twice the same error message
-The type of variable x is still linear at the end of the scope: lin?(boolean).end -The type of variable x is still linear at the end of the scope: lin?(boolean).end