We don't know, but I would guess that if their attorney knew about this stipulation in the health insurance contract, he would have gotten the defendant to increase the payout amount to cover the repayment to Walmart...
Hindsight is a fabulous and useless thing in this case.