eliminate_strategy() eliminates a strategy from a
normal-form game defined by normal_form().
eliminate_strategy(game, player, eliminated)A normal-form game object created by normal_form().
A player one of whose strategies will be eliminated.
A strategy to be eliminated. Case sensitive.
A normal-form game object with the specified strategies eliminated.
This function eliminates a strategy from a normal-form game defined
by norma_form(). For instance, you can remove a dominated
strategy found by dom().