This caused erroneous calls to rotateDoubleRight instead of rotateSingleRight,
thus disbalancing the tree and possibly failing to pattern match.