[H-1] Martenisa tokens count can be manipulated because the `updateCountMartenitsaTokensOwner` function does not check the actual balance of the owner address before updating the state.