On Sun, 2012-09-30 at 21:50 +0200, Mykyta Iziumtsev wrote: > Hi Johannes, > > Maybe I'm missing something obvious. > I'll try to analyse code deeper, and get back with proof links. Alright, sure, I'm always happy to be proven wrong :-) johannes