strict digraph "tests/contract_testcases/evm/call/call_02.sol" {
	contract [label="contract x\ntests/contract_testcases/evm/call/call_02.sol:2:9-6:10"]
	f [label="function f\ncontract: x\ntests/contract_testcases/evm/call/call_02.sol:3:13-49\nsignature f(address)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\naddress payable a"]
	destructure [label="destructure\ntests/contract_testcases/evm/call/call_02.sol:4:17-65"]
	param [label="bool s"]
	param_6 [label="bytes bs"]
	call_external_function [label="call external function\ntests/contract_testcases/evm/call/call_02.sol:4:45-65"]
	variable [label="variable: a\naddress payable\ntests/contract_testcases/evm/call/call_02.sol:4:45-46"]
	alloc_array [label="alloc array bytes\ninitializer: \ntests/contract_testcases/evm/call/call_02.sol:4:62-64"]
	number_literal [label="uint32 literal: 0\ntests/contract_testcases/evm/call/call_02.sol:4:62-64"]
	number_literal_11 [label="uint128 literal: 2\ntests/contract_testcases/evm/call/call_02.sol:4:59-60"]
	diagnostic [label="found contract 'x'\nlevel Debug\ntests/contract_testcases/evm/call/call_02.sol:2:9-6:10"]
	diagnostic_14 [label="function can be declared 'view'\nlevel Warning\ntests/contract_testcases/evm/call/call_02.sol:3:13-49"]
	diagnostic_15 [label="destructure variable 's' has never been used\nlevel Warning\ntests/contract_testcases/evm/call/call_02.sol:4:23-24"]
	diagnostic_16 [label="destructure variable 'bs' has never been used\nlevel Warning\ntests/contract_testcases/evm/call/call_02.sol:4:39-41"]
	contracts -> contract
	contract -> f [label="function"]
	f -> parameters [label="parameters"]
	f -> destructure [label="body"]
	destructure -> param [label="arg #0"]
	destructure -> param_6 [label="arg #1"]
	destructure -> call_external_function [label="expr"]
	call_external_function -> variable [label="address"]
	call_external_function -> alloc_array [label="args"]
	alloc_array -> number_literal [label="length"]
	call_external_function -> number_literal_11 [label="value"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_14 [label="Warning"]
	diagnostics -> diagnostic_15 [label="Warning"]
	diagnostics -> diagnostic_16 [label="Warning"]
}
