strict digraph "tests/contract_testcases/substrate/functions/mutability_06.sol" {
	contract [label="contract c\ntests/contract_testcases/substrate/functions/mutability_06.sol:1:1-5:10"]
	add [label="function add\ncontract: c\ntests/contract_testcases/substrate/functions/mutability_06.sol:2:13-71\nsignature add(address)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\naddress a"]
	returns [label="returns\nbool f\nbytes res"]
	destructure [label="destructure\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:17-45"]
	variable [label="variable: f\nbool\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:18-19"]
	variable_7 [label="variable: res\nbytes\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:21-24"]
	call_external_function [label="call external function\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:28-45"]
	variable_9 [label="variable: a\naddress\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:28-29"]
	alloc_array [label="alloc array bytes\ninitializer: 0102\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:35-44"]
	number_literal [label="uint32 literal: 2\ntests/contract_testcases/substrate/functions/mutability_06.sol:3:35-44"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/functions/mutability_06.sol:1:1-5:10"]
	contracts -> contract
	contract -> add [label="function"]
	add -> parameters [label="parameters"]
	add -> returns [label="returns"]
	add -> destructure [label="body"]
	destructure -> variable [label="arg #0"]
	destructure -> variable_7 [label="arg #1"]
	destructure -> call_external_function [label="expr"]
	call_external_function -> variable_9 [label="address"]
	call_external_function -> alloc_array [label="args"]
	alloc_array -> number_literal [label="length"]
	diagnostics -> diagnostic [label="Debug"]
}
