- if should_explode && n = hd_of_i_var (cast_to_i_var !bomb)
- then ([], (let f t = Pure.A(t,t) in f (Pure.L (f (Pure.V 0)))), [])
- else ([],Pure.V n,[]))::e
+ if n = hd_of_i_var (cast_to_i_var !bomb)
+ then ([], Pure.omega should_explode, [])
+ else ([], Pure.V n, []) ) :: e