strict digraph "tests/contract_testcases/solana/expressions/contract_compare.sol" {
	contract [label="contract c\ntests/contract_testcases/solana/expressions/contract_compare.sol:2:1-11:2"]
	cmp [label="function cmp\ncontract: c\ntests/contract_testcases/solana/expressions/contract_compare.sol:3:2-53\nsignature cmp(bytes32,bytes32)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\ncontract d left\ncontract d right"]
	returns [label="returns\nbool "]
	return [label="return\ntests/contract_testcases/solana/expressions/contract_compare.sol:4:3-22"]
	less [label="less\ntests/contract_testcases/solana/expressions/contract_compare.sol:4:10-22"]
	variable [label="variable: left\ncontract d\ntests/contract_testcases/solana/expressions/contract_compare.sol:4:10-14"]
	variable_8 [label="variable: right\ncontract d\ntests/contract_testcases/solana/expressions/contract_compare.sol:4:17-22"]
	cmp_9 [label="function cmp\ncontract: c\ntests/contract_testcases/solana/expressions/contract_compare.sol:7:2-53\nsignature cmp(bytes32,bytes32)\nvisibility public\nmutability nonpayable"]
	parameters_10 [label="parameters\ncontract d left\ncontract e right"]
	returns_11 [label="returns\nbool "]
	contract_12 [label="contract d\ntests/contract_testcases/solana/expressions/contract_compare.sol:13:1-14"]
	contract_13 [label="contract e\ntests/contract_testcases/solana/expressions/contract_compare.sol:14:1-14"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/expressions/contract_compare.sol:2:1-11:2"]
	diagnostic_16 [label="function 'cmp' overrides function in same contract\nlevel Error\ntests/contract_testcases/solana/expressions/contract_compare.sol:7:2-53"]
	note [label="previous definition of 'cmp'\ntests/contract_testcases/solana/expressions/contract_compare.sol:3:2-53"]
	diagnostic_18 [label="expression of type contract d not allowed\nlevel Error\ntests/contract_testcases/solana/expressions/contract_compare.sol:8:10-14"]
	diagnostic_19 [label="found contract 'd'\nlevel Debug\ntests/contract_testcases/solana/expressions/contract_compare.sol:13:1-14"]
	diagnostic_20 [label="found contract 'e'\nlevel Debug\ntests/contract_testcases/solana/expressions/contract_compare.sol:14:1-14"]
	contracts -> contract
	contract -> cmp [label="function"]
	cmp -> parameters [label="parameters"]
	cmp -> returns [label="returns"]
	cmp -> return [label="body"]
	return -> less [label="expr"]
	less -> variable [label="left"]
	less -> variable_8 [label="right"]
	contract -> cmp_9 [label="function"]
	cmp_9 -> parameters_10 [label="parameters"]
	cmp_9 -> returns_11 [label="returns"]
	contracts -> contract_12
	contracts -> contract_13
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_16 [label="Error"]
	diagnostic_16 -> note [label="note"]
	diagnostics -> diagnostic_18 [label="Error"]
	diagnostics -> diagnostic_19 [label="Debug"]
	diagnostics -> diagnostic_20 [label="Debug"]
}
