strict digraph "tests/contract_testcases/solana/import_free_function.sol" {
	foo [label="function foo\ntests/contract_testcases/solana/for_if_no_else.sol:1:1-29\nsignature foo()\nvisibility internal\nmutability nonpayable"]
	returns [label="returns\nint256 "]
	for [label="for\ntests/contract_testcases/solana/for_if_no_else.sol:2:2-4:13"]
	var_decl [label="variable decl int256 i\ntests/contract_testcases/solana/for_if_no_else.sol:2:7-14"]
	number_literal [label="int256 literal: 0\ntests/contract_testcases/solana/for_if_no_else.sol:2:13-14"]
	less [label="less\ntests/contract_testcases/solana/for_if_no_else.sol:2:16-21"]
	variable [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:16-17"]
	number_literal_8 [label="int256 literal: 10\ntests/contract_testcases/solana/for_if_no_else.sol:2:19-21"]
	expr [label="expression\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-26"]
	post_increment [label="post increment\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-26"]
	variable_11 [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-24"]
	if [label="if\ntests/contract_testcases/solana/for_if_no_else.sol:3:3-4:13"]
	more [label="more\ntests/contract_testcases/solana/for_if_no_else.sol:3:7-12"]
	variable_14 [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:3:7-8"]
	number_literal_15 [label="int256 literal: 0\ntests/contract_testcases/solana/for_if_no_else.sol:3:11-12"]
	return [label="return\ntests/contract_testcases/solana/for_if_no_else.sol:4:4-12"]
	number_literal_17 [label="int256 literal: 1\ntests/contract_testcases/solana/for_if_no_else.sol:4:11-12"]
	return_18 [label="return\ntests/contract_testcases/solana/for_if_no_else.sol:6:2-10"]
	number_literal_19 [label="int256 literal: 2\ntests/contract_testcases/solana/for_if_no_else.sol:6:9-10"]
	bar [label="function bar\ntests/contract_testcases/solana/import_free_function.sol:6:1-16\nsignature bar()\nvisibility internal\nmutability nonpayable"]
	var_decl_21 [label="variable decl int256 x\ntests/contract_testcases/solana/import_free_function.sol:7:2-15"]
	call_internal_function [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:7:10-15"]
	internal_function [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:7:10-15"]
	expr_24 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:8:2-19"]
	assign [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:8:2-19"]
	variable_26 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:8:2-3"]
	call_internal_function_27 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:8:6-19"]
	internal_function_28 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:8:6-19"]
	expr_29 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:9:2-13"]
	assign_30 [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:9:2-13"]
	variable_31 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:9:2-3"]
	call_internal_function_32 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:9:6-13"]
	internal_function_33 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:9:6-13"]
	expr_34 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:10:2-15"]
	assign_35 [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:10:2-15"]
	variable_36 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:10:2-3"]
	call_internal_function_37 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:10:6-15"]
	internal_function_38 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:10:6-15"]
	diagnostic [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/for_if_no_else.sol:1:1-29"]
	free_functions -> foo [label="function"]
	foo -> returns [label="returns"]
	foo -> for [label="body"]
	for -> var_decl [label="init"]
	var_decl -> number_literal [label="init"]
	for -> less [label="cond"]
	less -> variable [label="left"]
	less -> number_literal_8 [label="right"]
	for -> expr [label="next"]
	expr -> post_increment [label="expr"]
	post_increment -> variable_11 [label="expr"]
	for -> if [label="body"]
	if -> more [label="cond"]
	more -> variable_14 [label="left"]
	more -> number_literal_15 [label="right"]
	if -> return [label="then"]
	return -> number_literal_17 [label="expr"]
	for -> return_18 [label="next"]
	return_18 -> number_literal_19 [label="expr"]
	free_functions -> bar [label="function"]
	bar -> var_decl_21 [label="body"]
	var_decl_21 -> call_internal_function [label="init"]
	call_internal_function -> internal_function [label="function"]
	var_decl_21 -> expr_24 [label="next"]
	expr_24 -> assign [label="expr"]
	assign -> variable_26 [label="left"]
	assign -> call_internal_function_27 [label="right"]
	call_internal_function_27 -> internal_function_28 [label="function"]
	expr_24 -> expr_29 [label="next"]
	expr_29 -> assign_30 [label="expr"]
	assign_30 -> variable_31 [label="left"]
	assign_30 -> call_internal_function_32 [label="right"]
	call_internal_function_32 -> internal_function_33 [label="function"]
	expr_29 -> expr_34 [label="next"]
	expr_34 -> assign_35 [label="expr"]
	assign_35 -> variable_36 [label="left"]
	assign_35 -> call_internal_function_37 [label="right"]
	call_internal_function_37 -> internal_function_38 [label="function"]
	diagnostics -> diagnostic [label="Warning"]
}