@Override public String getAbstractSyntax(ChoiceContext context) { context.push(arguments); String res = ref.getAbstractSyntax(context); context.pop(); return res; }