finished implementation of sinks ( b->a<-c ), further reduces

the depth of the tree at slight width cost that does not much matter f
depth reduction is more that 1