test-suite/output/set.out


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

1 goal
  
  y1 := 0 : nat
  x := 0 + 0 : nat
  ============================
  x = x
1 goal
  
  y1, y2 := 0 : nat
  x := y2 + 0 : nat
  ============================
  x = x
1 goal
  
  y1, y2, y3 := 0 : nat
  x := y2 + y3 : nat
  ============================
  x = x