walkSerializingFA(lines, s);
walkSerializingFA(lines, s);
walkSerializingFA(lines, edge.target); walkSerializingFA(lines, ((RuleClosureTransition) edge).followState);
walkSerializingFA(lines, edge.target); walkSerializingFA(lines, ((RuleClosureTransition) edge).followState);
walkSerializingFA(lines, edge.target); walkSerializingFA(lines, ((RuleClosureTransition) edge).followState);
walkSerializingFA(lines, edge.target); walkSerializingFA(lines, ((RuleClosureTransition) edge).followState);