Version for binary branch groups works very slow and needs initial data. But works at all.