After every "extract_min" parent-child edge changes
This is the pictorial representation: https://i.stack.imgur.com/zDNY0.png
I think this might viol