strict digraph "tests/contract_testcases/solana/power.sol" {
	contract [label="contract AstExample\ntests/contract_testcases/solana/power.sol:3:1-7:2"]
	node_2 [label="constructor \ncontract: AstExample\ntests/contract_testcases/solana/power.sol:4:5-19\nsignature ()\nvisibility public\nmutability nonpayable"]
	expr [label="expression\ntests/contract_testcases/solana/power.sol:5:9-20"]
	power [label="power\nuint256\ntests/contract_testcases/solana/power.sol:5:9-20"]
	number_literal [label="uint256 literal: 1\ntests/contract_testcases/solana/power.sol:5:9-10"]
	power_6 [label="power\nuint256\ntests/contract_testcases/solana/power.sol:5:14-20"]
	number_literal_7 [label="uint256 literal: 2\ntests/contract_testcases/solana/power.sol:5:14-15"]
	number_literal_8 [label="uint256 literal: 3\ntests/contract_testcases/solana/power.sol:5:19-20"]
	diagnostic [label="pragma 'solidity' is ignored\nlevel Debug\ntests/contract_testcases/solana/power.sol:1:1-24"]
	diagnostic_11 [label="found contract 'AstExample'\nlevel Debug\ntests/contract_testcases/solana/power.sol:3:1-7:2"]
	contracts -> contract
	contract -> node_2 [label="constructor"]
	node_2 -> expr [label="body"]
	expr -> power [label="expr"]
	power -> number_literal [label="left"]
	power -> power_6 [label="right"]
	power_6 -> number_literal_7 [label="left"]
	power_6 -> number_literal_8 [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_11 [label="Debug"]
}
