public void VisitSwitchInstruction(SwitchInstruction si)
{
writer.Indent();
writer.WriteKeyword("switch");
writer.Write(" (");
si.Expression.Accept(this);
writer.Write(") { ");
foreach (Block b in si.Targets)
{
writer.Write("{0} ", b.Name);
}
writer.Write("}");
writer.Terminate();
}