On 10/07/2019 16:32, Maurizio Cimadamore wrote: > > Excellent point - yes, I've seen in the past defineAnonymousClass > triggering small differences in verifier behavior. > > I think you can go ahead with the fix, as it makes the world generally > better. > Thanks Maurizio, my colleague helped me push it. Nick