Complete getter in AlligatorApp and small changes in game.level.