Do not generate the code for the enumeration of cards
The function was huge. This was not a good idea because frama-c could not say anything. I do not know if it will be better for frama-c, but I can tell you it is more readable that way.
Showing with 498 additions and 523 deletions