currentAlt().addElement(e);
return (Alternative)block.alternatives.elementAt(altNum);
return currentAlt().tail;