Modified Keys

contract Protocol {
    mapping(address => uint256) public balances;

    function transfer(address to, uint256 amount) public {
        balances[msg.sender] -= amount;
        balances[to] += amount;
    }
}

function assertionUseCase() public {
    address[] memory modifiedKeys = getModifiedKeys(address(protocol), 0x0);

    int diff = 0;

    for (uint256 i = 0; i < modifiedKeys.length; i++) {
        // Here your code to check the modified keys
    }
}