[chongli]

There are examples of eusocial animals which are not haplodiploidy. Naked mole rats are one example.

I think you're trying to make an argument based on the game theoretic definition of "rational" rather than the common definition of rational which would correspond to game theory's "superrational". That is, a rational choice based on the common knowledge that all others are following the same playbook. Sure, hymenopterans have a better genetic incentive to favour superrational behaviour but that doesn't stop upstart queens appearing in a hive (and often getting destroyed, but not always).