strict digraph "tests/contract_testcases/substrate/value/this_address_04.sol" {
	contract [label="contract b\ntests/contract_testcases/substrate/value/this_address_04.sol:2:9-13:10"]
	var [label="variable s\nvisibility internal\ntests/contract_testcases/substrate/value/this_address_04.sol:3:13-20"]
	step1 [label="function step1\ncontract: b\ntests/contract_testcases/substrate/value/this_address_04.sol:5:13-52\nsignature step1()\nvisibility public\nmutability nonpayable"]
	returns [label="returns\nint32 "]
	expr [label="expression\ntests/contract_testcases/substrate/value/this_address_04.sol:6:17-37"]
	call_external_function [label="call external function\ntests/contract_testcases/substrate/value/this_address_04.sol:6:17-37"]
	external_function [label="function(int32) external returns (void)\nb.other\ntests/contract_testcases/substrate/value/this_address_04.sol:6:17-37"]
	builtins [label="builtin GetAddress\ntests/contract_testcases/substrate/value/this_address_04.sol:6:17-21"]
	number_literal [label="int32 literal: 102\ntests/contract_testcases/substrate/value/this_address_04.sol:6:32-35"]
	return [label="return\ntests/contract_testcases/substrate/value/this_address_04.sol:7:17-25"]
	storage_load [label="storage load int32\ntests/contract_testcases/substrate/value/this_address_04.sol:7:17-25"]
	storage_var [label="storage variable\nb.s\nint32 storage\ntests/contract_testcases/substrate/value/this_address_04.sol:7:24-25"]
	other [label="function other\ncontract: b\ntests/contract_testcases/substrate/value/this_address_04.sol:10:13-44\nsignature other(int32)\nvisibility private\nmutability nonpayable"]
	parameters [label="parameters\nint32 n"]
	expr_15 [label="expression\ntests/contract_testcases/substrate/value/this_address_04.sol:11:17-22"]
	assign [label="assign\nint32 storage\ntests/contract_testcases/substrate/value/this_address_04.sol:11:17-18"]
	storage_var_17 [label="storage variable\nb.s\nint32 storage\ntests/contract_testcases/substrate/value/this_address_04.sol:11:17-18"]
	variable [label="variable: n\nint32\ntests/contract_testcases/substrate/value/this_address_04.sol:11:21-22"]
	diagnostic [label="found contract 'b'\nlevel Debug\ntests/contract_testcases/substrate/value/this_address_04.sol:2:9-13:10"]
	diagnostic_21 [label="function 'other' is not 'public' or 'external'\nlevel Error\ntests/contract_testcases/substrate/value/this_address_04.sol:6:17-37"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> step1 [label="function"]
	step1 -> returns [label="returns"]
	step1 -> expr [label="body"]
	expr -> call_external_function [label="expr"]
	call_external_function -> external_function [label="function"]
	external_function -> builtins [label="address"]
	call_external_function -> number_literal [label="arg #0"]
	expr -> return [label="next"]
	return -> storage_load [label="expr"]
	storage_load -> storage_var [label="expr"]
	contract -> other [label="function"]
	other -> parameters [label="parameters"]
	other -> expr_15 [label="body"]
	expr_15 -> assign [label="expr"]
	assign -> storage_var_17 [label="left"]
	assign -> variable [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_21 [label="Error"]
}
