public override void ElementOption(GrammarASTWithOptions elem, GrammarAST ID, GrammarAST valueAST)
{
//string v = null;
bool ok = CheckElementOptions(elem, ID, valueAST);
//if (ok)
//{
// if (v != null)
// {
// t.setOption(ID.Text, v);
// }
// else
// {
// t.setOption(TerminalAST.defaultTokenOption, v);
// }
//}
}