var a := 0; if true { a = 1; } assert a == 1; if false { a = 2; } assert a == 1; if true { a = 3; } else { a = 4; } assert a == 3; if false { a = 3; } else { a = 4; } assert a == 4; if true { a = 5; } else if false { a = 6; } else if false { a = 7; } else { a = 8; } assert a == 5; if false { a = 5; } else if true { a = 6; } else if false { a = 7; } else { a = 8; } assert a == 6; if false { a = 5; } else if false { a = 6; } else if true { a = 7; } else { a = 8; } assert a == 7; if false { a = 5; } else if false { a = 6; } else if false { a = 7; } else { a = 8; } assert a == 8;