Solidity : Checking for strict balance equality