Moving towards a semantics of if- and while-statements. Currently if-statements are treated as non-deterministic branches, and while-loops iterate exactly once.