public void VisitBranch(Branch b)
{
writer.Indent();
writer.WriteKeyword("branch");
writer.Write(" ");
b.Condition.Accept(this);
writer.Write(" ");
writer.Write(b.Target.Name);
writer.Terminate();
}