strict digraph "tests/contract_testcases/evm/dead_storage_different_types.sol" {
	contract [label="contract C\ntests/contract_testcases/evm/dead_storage_different_types.sol:1:1-10:2"]
	var [label="variable referralsKey\nvisibility private\ntests/contract_testcases/evm/dead_storage_different_types.sol:2:5-35"]
	getReferralsByAddress [label="function getReferralsByAddress\ncontract: C\ntests/contract_testcases/evm/dead_storage_different_types.sol:4:5-98\nsignature getReferralsByAddress()\nvisibility public\nmutability view"]
	returns [label="returns\naddress[] referralsKeyList\nuint256 "]
	var_decl [label="variable decl uint256 length\ntests/contract_testcases/evm/dead_storage_different_types.sol:5:9-42"]
	array_length [label="array length uint256\nelement address\ntests/contract_testcases/evm/dead_storage_different_types.sol:5:36-42"]
	storage_var [label="storage variable\nC.referralsKey\naddress[] storage\ntests/contract_testcases/evm/dead_storage_different_types.sol:5:23-35"]
	return [label="return\ntests/contract_testcases/evm/dead_storage_different_types.sol:8:9-37"]
	list [label="list\ntests/contract_testcases/evm/dead_storage_different_types.sol:8:9-37"]
	storage_load [label="storage load address[]\ntests/contract_testcases/evm/dead_storage_different_types.sol:8:9-37"]
	storage_var_11 [label="storage variable\nC.referralsKey\naddress[] storage\ntests/contract_testcases/evm/dead_storage_different_types.sol:8:17-29"]
	variable [label="variable: length\nuint256\ntests/contract_testcases/evm/dead_storage_different_types.sol:8:30-36"]
	diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/evm/dead_storage_different_types.sol:1:1-10:2"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> getReferralsByAddress [label="function"]
	getReferralsByAddress -> returns [label="returns"]
	getReferralsByAddress -> var_decl [label="body"]
	var_decl -> array_length [label="init"]
	array_length -> storage_var [label="array"]
	var_decl -> return [label="next"]
	return -> list [label="expr"]
	list -> storage_load [label="entry #0"]
	storage_load -> storage_var_11 [label="expr"]
	list -> variable [label="entry #1"]
	diagnostics -> diagnostic [label="Debug"]
}
