Weekly development report 2022/01/15

The third week of the preparation for the next big stable release passed. This time even less to show than earlier. But there are some changes in the game's code, technobabble below:

• A lot of work done with clearing the game's code and generally bringing some consistency to it. Same as previous week, changes triggered some updates to the unit tests.
• Some preparations for formal verification of the code done either. This work triggered a few large changes in the code. It looks like it not created any new bugs, I hope. :)