void VisitChoice(Choice choice)
{
WriteKeyword("choice");
Space();
LPar();
NewLine();
writer.Indent();
foreach (INode alternative in choice) {
VisitNodeInPattern(alternative);
if (alternative != choice.Last()) {
WriteToken(Roles.Comma);
}
NewLine();
}
writer.Unindent();
RPar();
}