To me, that doesn't necessarily imply that the AB govt pushed for it (although they might well have, knowing that there's someone to sue to recoup their costs). If Henderson decided to sue on his own and won, he'd be obligated to use that money to first reimburse anything he got from workers comp, so the government always had a stake in it.