Indeed, there are two bugs: the redefinition of `minLabel` in 
`contractionEdge()`, and the missing update of the top element in 
`contractionWeight()`.