strict digraph "tests/contract_testcases/solana/simple.sol" {
	S [label="name:S\ntests/contract_testcases/solana/simple.sol:3:8-9\nfield name:f1 ty:int64\nfield name:f2 ty:bool"]
	inc [label="function inc\ntests/contract_testcases/solana/simple.sol:7:1-23\nsignature inc((int64,bool))\nvisibility internal\nmutability pure"]
	parameters [label="parameters\nstruct S s"]
	expr [label="expression\ntests/contract_testcases/solana/simple.sol:7:26-35"]
	assign [label="assign\nvoid\ntests/contract_testcases/solana/simple.sol:7:26-35"]
	structmember [label="struct member #0 int64\ntests/contract_testcases/solana/simple.sol:7:28-30"]
	variable [label="variable: s\nstruct S\ntests/contract_testcases/solana/simple.sol:7:26-27"]
	add [label="add\nint64\ntests/contract_testcases/solana/simple.sol:7:26-35"]
	load [label="load int64\ntests/contract_testcases/solana/simple.sol:7:26-35"]
	structmember_11 [label="struct member #0 int64\ntests/contract_testcases/solana/simple.sol:7:28-30"]
	variable_12 [label="variable: s\nstruct S\ntests/contract_testcases/solana/simple.sol:7:26-27"]
	number_literal [label="int64 literal: 1\ntests/contract_testcases/solana/simple.sol:7:34-35"]
	contract [label="contract A\ntests/contract_testcases/solana/simple.sol:1:1-14"]
	contract_16 [label="contract L\ntests/contract_testcases/solana/simple.sol:2:1-13"]
	diagnostic [label="found contract 'A'\nlevel Debug\ntests/contract_testcases/solana/simple.sol:1:1-14"]
	diagnostic_19 [label="found library 'L'\nlevel Debug\ntests/contract_testcases/solana/simple.sol:2:1-13"]
	structs -> S
	free_functions -> inc [label="function"]
	inc -> parameters [label="parameters"]
	inc -> expr [label="body"]
	expr -> assign [label="expr"]
	assign -> structmember [label="left"]
	structmember -> variable [label="var"]
	assign -> add [label="right"]
	add -> load [label="left"]
	load -> structmember_11 [label="expr"]
	structmember_11 -> variable_12 [label="var"]
	add -> number_literal [label="right"]
	contracts -> contract
	contracts -> contract_16
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_19 [label="Debug"]
}
