The smart contract's business logic must consider that the actual balance associated with it can be higher than the internal accounting's value. In general it's recommended not to use the contract's balance as a guard.