strict digraph "tests/contract_testcases/substrate/builtins/call_02.sol" {
	contract [label="contract superior\ntests/contract_testcases/substrate/builtins/call_02.sol:2:9-8:10"]
	test [label="function test\ncontract: superior\ntests/contract_testcases/substrate/builtins/call_02.sol:3:13-35\nsignature test()\nvisibility public\nmutability nonpayable"]
	contract_3 [label="contract inferior\ntests/contract_testcases/substrate/builtins/call_02.sol:10:9-14:10"]
	baa [label="function baa\ncontract: inferior\ntests/contract_testcases/substrate/builtins/call_02.sol:11:13-34\nsignature baa()\nvisibility public\nmutability nonpayable"]
	expr [label="expression\ntests/contract_testcases/substrate/builtins/call_02.sol:12:17-30"]
	builtins [label="builtin Print\ntests/contract_testcases/substrate/builtins/call_02.sol:12:17-22"]
	alloc_array [label="alloc array string\ninitializer: 42616121\ntests/contract_testcases/substrate/builtins/call_02.sol:12:23-29"]
	number_literal [label="uint32 literal: 4\ntests/contract_testcases/substrate/builtins/call_02.sol:12:23-29"]
	diagnostic [label="found contract 'superior'\nlevel Debug\ntests/contract_testcases/substrate/builtins/call_02.sol:2:9-8:10"]
	diagnostic_11 [label="destucturing statement needed for function that returns multiple values\nlevel Error\ntests/contract_testcases/substrate/builtins/call_02.sol:6:27-53"]
	diagnostic_12 [label="found contract 'inferior'\nlevel Debug\ntests/contract_testcases/substrate/builtins/call_02.sol:10:9-14:10"]
	contracts -> contract
	contract -> test [label="function"]
	contracts -> contract_3
	contract_3 -> baa [label="function"]
	baa -> expr [label="body"]
	expr -> builtins [label="expr"]
	builtins -> alloc_array [label="arg #0"]
	alloc_array -> number_literal [label="length"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_11 [label="Error"]
	diagnostics -> diagnostic_12 [label="Debug"]
}
