tests/sav/base_closure_forms.sav

   1 [2,1]
   2 [1,2]
   3 [2,1]
   4 21
   5
   6 {I:1}
   7 I=1
   8 {I:1}
   9 V=5
  10 {I:1,V:5}
  11 V=5
  12 {I:1,V:5}
  13 X=0
  14 {I:1,V:5}
  15 I=1;V=5;
  16
  17 O?true
  18 C1
  19 O?false
  20
  21 E404