Semantic Analyser: Report division by zero.
Semantic Analyser: Evaluation of expressions

If possible, the static value of expressions is evaluated.
This enables advanced bound and division by zero checks.