strict digraph "tests/contract_testcases/solana/using_literal.sol" {
	double [label="function double\ntests/contract_testcases/solana/using_literal.sol:1:1-42\nsignature double(int256)\nvisibility internal\nmutability pure"]
	parameters [label="parameters\nint256 x"]
	returns [label="returns\nint256 "]
	return [label="return\ntests/contract_testcases/solana/using_literal.sol:1:45-57"]
	multiply [label="multiply\nint256\ntests/contract_testcases/solana/using_literal.sol:1:52-57"]
	variable [label="variable: x\nint256\ntests/contract_testcases/solana/using_literal.sol:1:52-53"]
	number_literal [label="int256 literal: 2\ntests/contract_testcases/solana/using_literal.sol:1:56-57"]
	contract [label="contract C\ntests/contract_testcases/solana/using_literal.sol:5:1-9:2"]
	foo [label="function foo\ncontract: C\ntests/contract_testcases/solana/using_literal.sol:6:2-42\nsignature foo()\nvisibility public\nmutability pure"]
	returns_11 [label="returns\nint256 "]
	return_12 [label="return\ntests/contract_testcases/solana/using_literal.sol:7:3-21"]
	call_internal_function [label="call internal function\ntests/contract_testcases/solana/using_literal.sol:7:10-21"]
	internal_function [label="function(int256) internal pure returns (int256)\nfree function double\ntests/contract_testcases/solana/using_literal.sol:7:10-21"]
	number_literal_15 [label="int256 literal: 42\ntests/contract_testcases/solana/using_literal.sol:7:10-12"]
	diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/using_literal.sol:5:1-9:2"]
	free_functions -> double [label="function"]
	double -> parameters [label="parameters"]
	double -> returns [label="returns"]
	double -> return [label="body"]
	return -> multiply [label="expr"]
	multiply -> variable [label="left"]
	multiply -> number_literal [label="right"]
	contracts -> contract
	contract -> foo [label="function"]
	foo -> returns_11 [label="returns"]
	foo -> return_12 [label="body"]
	return_12 -> call_internal_function [label="expr"]
	call_internal_function -> internal_function [label="function"]
	call_internal_function -> number_literal_15 [label="arg #0"]
	diagnostics -> diagnostic [label="Debug"]
}
