strict digraph "tests/contract_testcases/solana/constant/not_constant_01.sol" {
	contract [label="contract C\ntests/contract_testcases/solana/constant/not_constant_01.sol:2:9-4:10"]
	var [label="variable NOT_CONSTANT\nvisibility public\ntests/contract_testcases/solana/constant/not_constant_01.sol:3:13-45"]
	number_literal [label="uint256 literal: 42\ntests/contract_testcases/solana/constant/not_constant_01.sol:3:43-45"]
	NOT_CONSTANT [label="function NOT_CONSTANT\ncontract: C\ntests/contract_testcases/solana/constant/not_constant_01.sol:3:28-40\nsignature NOT_CONSTANT()\nvisibility public\nmutability view"]
	returns [label="returns\nuint256 "]
	return [label="return\nimplicit"]
	storage_load [label="storage load uint256\nimplicit"]
	storage_var [label="storage variable\nC.NOT_CONSTANT\nuint256 storage\nimplicit"]
	contract_9 [label="contract foo\ntests/contract_testcases/solana/constant/not_constant_01.sol:6:9-11:10"]
	f [label="function f\ncontract: foo\ntests/contract_testcases/solana/constant/not_constant_01.sol:7:13-47\nsignature f()\nvisibility public\nmutability nonpayable"]
	returns_11 [label="returns\nuint256 "]
	diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/constant/not_constant_01.sol:2:9-4:10"]
	diagnostic_14 [label="found contract 'foo'\nlevel Debug\ntests/contract_testcases/solana/constant/not_constant_01.sol:6:9-11:10"]
	diagnostic_15 [label="need instance of contract 'C' to get variable value 'NOT_CONSTANT'\nlevel Error\ntests/contract_testcases/solana/constant/not_constant_01.sol:8:26-40"]
	contracts -> contract
	contract -> var [label="variable"]
	var -> number_literal [label="initializer"]
	contract -> NOT_CONSTANT [label="function"]
	NOT_CONSTANT -> returns [label="returns"]
	NOT_CONSTANT -> return [label="body"]
	return -> storage_load [label="expr"]
	storage_load -> storage_var [label="expr"]
	contracts -> contract_9
	contract_9 -> f [label="function"]
	f -> returns_11 [label="returns"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_14 [label="Debug"]
	diagnostics -> diagnostic_15 [label="Error"]
}
