strict digraph "tests/contract_testcases/substrate/functions/mutability_05.sol" {
	contract [label="contract c\ntests/contract_testcases/substrate/functions/mutability_05.sol:1:1-5:10"]
	add [label="function add\ncontract: c\ntests/contract_testcases/substrate/functions/mutability_05.sol:2:13-48\nsignature add(address)\nvisibility public\nmutability view"]
	parameters [label="parameters\naddress a"]
	destructure [label="destructure\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:17-63"]
	param [label="bool f"]
	param_6 [label="bytes res"]
	call_external_function [label="call external function\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:46-63"]
	variable [label="variable: a\naddress\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:46-47"]
	alloc_array [label="alloc array bytes\ninitializer: 0102\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:53-62"]
	number_literal [label="uint32 literal: 2\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:53-62"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/functions/mutability_05.sol:1:1-5:10"]
	diagnostic_13 [label="destructure variable 'f' has never been used\nlevel Warning\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:23-24"]
	diagnostic_14 [label="destructure variable 'res' has never been used\nlevel Warning\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:39-42"]
	diagnostic_15 [label="function declared 'view' but this expression writes to state\nlevel Error\ntests/contract_testcases/substrate/functions/mutability_05.sol:3:46-63"]
	contracts -> contract
	contract -> add [label="function"]
	add -> parameters [label="parameters"]
	add -> 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"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_13 [label="Warning"]
	diagnostics -> diagnostic_14 [label="Warning"]
	diagnostics -> diagnostic_15 [label="Error"]
}
