strict digraph "tests/contract_testcases/substrate/value/this_address_03.sol" {
	contract [label="contract b\ntests/contract_testcases/substrate/value/this_address_03.sol:2:9-13:10"]
	var [label="variable s\nvisibility internal\ntests/contract_testcases/substrate/value/this_address_03.sol:3:13-20"]
	step1 [label="function step1\ncontract: b\ntests/contract_testcases/substrate/value/this_address_03.sol:5:13-52\nsignature step1()\nvisibility public\nmutability nonpayable"]
	returns [label="returns\nint32 "]
	other [label="function other\ncontract: b\ntests/contract_testcases/substrate/value/this_address_03.sol:10:13-44\nsignature other(int32)\nvisibility private\nmutability nonpayable"]
	parameters [label="parameters\nint32 n"]
	expr [label="expression\ntests/contract_testcases/substrate/value/this_address_03.sol:11:17-22"]
	assign [label="assign\nint32 storage\ntests/contract_testcases/substrate/value/this_address_03.sol:11:17-18"]
	storage_var [label="storage variable\nb.s\nint32 storage\ntests/contract_testcases/substrate/value/this_address_03.sol:11:17-18"]
	variable [label="variable: n\nint32\ntests/contract_testcases/substrate/value/this_address_03.sol:11:21-22"]
	diagnostic [label="found contract 'b'\nlevel Debug\ntests/contract_testcases/substrate/value/this_address_03.sol:2:9-13:10"]
	diagnostic_13 [label="function 'other' is not 'public' or 'external'\nlevel Error\ntests/contract_testcases/substrate/value/this_address_03.sol:6:17-32"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> step1 [label="function"]
	step1 -> returns [label="returns"]
	contract -> other [label="function"]
	other -> parameters [label="parameters"]
	other -> expr [label="body"]
	expr -> assign [label="expr"]
	assign -> storage_var [label="left"]
	assign -> variable [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_13 [label="Error"]
}
