strict digraph "tests/contract_testcases/solana/rational/rational.sol" {
	contract [label="contract foo\ntests/contract_testcases/solana/rational/rational.sol:1:1-14:2"]
	test [label="function test\ncontract: foo\ntests/contract_testcases/solana/rational/rational.sol:2:5-42\nsignature test()\nvisibility public\nmutability nonpayable"]
	returns [label="returns\nuint256 "]
	test2 [label="function test2\ncontract: foo\ntests/contract_testcases/solana/rational/rational.sol:9:5-30\nsignature test2()\nvisibility external\nmutability nonpayable"]
	var_decl [label="variable decl uint256 b\ntests/contract_testcases/solana/rational/rational.sol:10:9-24"]
	number_literal [label="uint256 literal: 500\ntests/contract_testcases/solana/rational/rational.sol:10:21-24"]
	var_decl_7 [label="variable decl uint256 a1\ntests/contract_testcases/solana/rational/rational.sol:11:9-28"]
	subtract [label="subtract\nuint256\ntests/contract_testcases/solana/rational/rational.sol:11:22-28"]
	number_literal_9 [label="uint256 literal: 1000000000000000000\ntests/contract_testcases/solana/rational/rational.sol:11:22-26"]
	variable [label="variable: b\nuint256\ntests/contract_testcases/solana/rational/rational.sol:11:27-28"]
	var_decl_11 [label="variable decl uint256 a2\ntests/contract_testcases/solana/rational/rational.sol:12:9-29"]
	subtract_12 [label="subtract\nuint256\ntests/contract_testcases/solana/rational/rational.sol:12:22-29"]
	number_literal_13 [label="uint256 literal: 1000000000000000000\ntests/contract_testcases/solana/rational/rational.sol:12:22-26"]
	variable_14 [label="variable: b\nuint256\ntests/contract_testcases/solana/rational/rational.sol:12:28-29"]
	diagnostic [label="found contract 'foo'\nlevel Debug\ntests/contract_testcases/solana/rational/rational.sol:1:1-14:2"]
	diagnostic_17 [label="conversion to uint256 from rational not allowed\nlevel Error\ntests/contract_testcases/solana/rational/rational.sol:3:18-21"]
	contracts -> contract
	contract -> test [label="function"]
	test -> returns [label="returns"]
	contract -> test2 [label="function"]
	test2 -> var_decl [label="body"]
	var_decl -> number_literal [label="init"]
	var_decl -> var_decl_7 [label="next"]
	var_decl_7 -> subtract [label="init"]
	subtract -> number_literal_9 [label="left"]
	subtract -> variable [label="right"]
	var_decl_7 -> var_decl_11 [label="next"]
	var_decl_11 -> subtract_12 [label="init"]
	subtract_12 -> number_literal_13 [label="left"]
	subtract_12 -> variable_14 [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_17 [label="Error"]
}
