( x := 1 ; y := 2 ; 3 ; if 5 then 6 else 7 )