(*) ana.lua
(+) `deterministic´ keyword
(+) tmp arrays
(^) ext/int -> evt
(*) ana = ana + acc
(^) me.lval holds exp (instead of only `true´)
    acc needs to change it to 'wr' (in Set*)
(^) ana uses me[1].evt instead of me
(^) ana for internal events
(-) bug: ana ParAnd
(^) lval for org.var
(^) org.var creates a Var inside Op2_.
(^) acc for calls, *, &
(^) PAR algorithm => F + G
(^) lval => lval + ref
(^) minor adjustments
(+) new static analysis complete
    (*) TODO: loops
(^) Org => ParOr with block
(-) var T t with...end