Switch branch syntax not defined in BNF,though it is explained in an example. Also, should indirect branch assignment be made illegal in conditional? This is not clearly defined in the LRM (direct contribution statements are allowed in if statements to model switch behavior).