static semantics: kleene star is non-deterministic
example for arithmetic expressions