if x = 1 then y := 4 else z := 7