On Mon, Dec 3, 2012 at 3:55 PM, Manuel Klimek <klimek at google.com> wrote: > The necessity of this fix points to a problem with the design > of the addToken during the optimiation phase, which we need to address > in a much more principled way. Could you elaborate on this? -- Sean Silva