t = this.typechecker.visit((ExprList) nodeChoice.choice, argu.cloneNonLocals());
} catch (final IOException e) {
throw new RuntimeException(e.getClass().getSimpleName() + " caught", e);
}
st.setAttribute("type", t.toJavaType());
st.setAttribute("exprlist", nodeChoice.choice.accept(this, argu));
break;
default:
throw new RuntimeException("unexpected choice " + nodeChoice.which + " is " + nodeChoice.choice.getClass());
}