void ArcDetail(ref bool isInArc, ref int weight, ref bool inhib)
{
weight = 1;
isInArc = true;
inhib = false;
if (la.kind == 5) {
InArcDetail(ref inhib, ref weight);
isInArc = true;
} else if (la.kind == 7) {
OutArcDetail(ref inhib, ref weight);
isInArc = false;
} else SynErr(20);
}