public override void OtherAlt(AltAST originalAltTree, int alt)
{
AltAST altTree = (AltAST)originalAltTree.DupTree();
StripAltLabel(altTree);
string altText = Text(altTree);
string altLabel = altTree.altLabel != null ? altTree.altLabel.Text : null;
LeftRecursiveRuleAltInfo a =
new LeftRecursiveRuleAltInfo(alt, altText, null, altLabel, false, originalAltTree);
// We keep other alts with prefix alts since they are all added to the start of the generated rule, and
// we want to retain any prior ordering between them
prefixAndOtherAlts.Add(a);
// System.out.println("otherAlt " + alt + ": " + altText);
}