Added some invariants to game_main