strict digraph "tests/contract_testcases/substrate/functions/payable.sol" {
	contract [label="contract c\ntests/contract_testcases/substrate/functions/payable.sol:4:9-10:10"]
	var [label="variable i\nvisibility internal\ntests/contract_testcases/substrate/functions/payable.sol:5:13-24"]
	number_literal [label="int32 literal: 0\ntests/contract_testcases/substrate/functions/payable.sol:5:23-24"]
	diagnostic [label="pragma 'solidity' is ignored\nlevel Debug\ntests/contract_testcases/substrate/functions/payable.sol:2:9-26"]
	diagnostic_6 [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/functions/payable.sol:4:9-10:10"]
	diagnostic_7 [label="internal or private function cannot be payable\nlevel Error\ntests/contract_testcases/substrate/functions/payable.sol:7:29-36"]
	contracts -> contract
	contract -> var [label="variable"]
	var -> number_literal [label="initializer"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_6 [label="Debug"]
	diagnostics -> diagnostic_7 [label="Error"]
}
