>'o1' #i1 #i1 $x > 0 <$x := 1 1 <'i1' 1 A 1 1 B 1 1 if 1 1 then 1 1 else 1 1 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 1 1.0 false 100 1067 true 100 true false