implement nondeterministic substitution exec for
Select, Var, Any/Let, Choice, If, Assert, Pre, x:(P), x::S, :=, skip, case
and tests

not implemented but tested:
sequence, parallel, block (all 3 tests fail )

not implemented:
while, op-sub, op-return-sub

Parser-change: added hasElse attr. to case nodes