fix: use local degree ordering for highcorner()