strict digraph "tests/contract_testcases/substrate/arrays/lucas.sol" {
	contract [label="contract Test\ntests/contract_testcases/substrate/arrays/lucas.sol:1:1-21:6"]
	var [label="variable byteArr\nvisibility internal\ntests/contract_testcases/substrate/arrays/lucas.sol:2:9-22"]
	var_3 [label="variable baRR\nvisibility internal\ntests/contract_testcases/substrate/arrays/lucas.sol:3:9-21"]
	get [label="function get\ncontract: Test\ntests/contract_testcases/substrate/arrays/lucas.sol:5:9-30\nsignature get()\nvisibility public\nmutability nonpayable"]
	var_decl [label="variable decl string s\ntests/contract_testcases/substrate/arrays/lucas.sol:6:13-37"]
	alloc_array [label="alloc array string\ninitializer: 54657374\ntests/contract_testcases/substrate/arrays/lucas.sol:6:31-37"]
	number_literal [label="uint32 literal: 4\ntests/contract_testcases/substrate/arrays/lucas.sol:6:31-37"]
	expr [label="expression\ntests/contract_testcases/substrate/arrays/lucas.sol:7:13-31"]
	assign [label="assign\nbytes storage\ntests/contract_testcases/substrate/arrays/lucas.sol:7:13-20"]
	storage_var [label="storage variable\nTest.byteArr\nbytes storage\ntests/contract_testcases/substrate/arrays/lucas.sol:7:13-20"]
	cast [label="cast bytes\ntests/contract_testcases/substrate/arrays/lucas.sol:7:23-31"]
	variable [label="variable: s\nstring\ntests/contract_testcases/substrate/arrays/lucas.sol:7:29-30"]
	var_decl_13 [label="variable decl uint16 a\ntests/contract_testcases/substrate/arrays/lucas.sol:8:13-25"]
	number_literal_14 [label="uint16 literal: 1\ntests/contract_testcases/substrate/arrays/lucas.sol:8:24-25"]
	var_decl_15 [label="variable decl uint8 b\ntests/contract_testcases/substrate/arrays/lucas.sol:9:13-20"]
	expr_16 [label="expression\ntests/contract_testcases/substrate/arrays/lucas.sol:10:13-25"]
	assign_17 [label="assign\nuint8\ntests/contract_testcases/substrate/arrays/lucas.sol:10:13-25"]
	variable_18 [label="variable: b\nuint8\ntests/contract_testcases/substrate/arrays/lucas.sol:10:13-14"]
	trunc [label="truncate uint8\ntests/contract_testcases/substrate/arrays/lucas.sol:10:17-25"]
	variable_20 [label="variable: a\nuint16\ntests/contract_testcases/substrate/arrays/lucas.sol:10:23-24"]
	var_decl_21 [label="variable decl uint256 c\ntests/contract_testcases/substrate/arrays/lucas.sol:12:13-22"]
	expr_22 [label="expression\ntests/contract_testcases/substrate/arrays/lucas.sol:13:13-18"]
	assign_23 [label="assign\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:13:13-18"]
	variable_24 [label="variable: c\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:13:13-14"]
	zero_ext [label="zero extend uint256\ntests/contract_testcases/substrate/arrays/lucas.sol:13:17-18"]
	variable_26 [label="variable: b\nuint8\ntests/contract_testcases/substrate/arrays/lucas.sol:13:17-18"]
	var_decl_27 [label="variable decl bytes32 b32\ntests/contract_testcases/substrate/arrays/lucas.sol:14:13-24"]
	expr_28 [label="expression\ntests/contract_testcases/substrate/arrays/lucas.sol:15:13-35"]
	assign_29 [label="assign\nbytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:15:13-35"]
	variable_30 [label="variable: b32\nbytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:15:13-16"]
	bytes_cast [label="bytes cast from bytes to bytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:15:19-35"]
	storage_load [label="storage load bytes\ntests/contract_testcases/substrate/arrays/lucas.sol:15:19-35"]
	storage_var_33 [label="storage variable\nTest.byteArr\nbytes storage\ntests/contract_testcases/substrate/arrays/lucas.sol:15:27-34"]
	expr_34 [label="expression\ntests/contract_testcases/substrate/arrays/lucas.sol:16:13-30"]
	assign_35 [label="assign\nbytes32 storage\ntests/contract_testcases/substrate/arrays/lucas.sol:16:13-17"]
	storage_var_36 [label="storage variable\nTest.baRR\nbytes32 storage\ntests/contract_testcases/substrate/arrays/lucas.sol:16:13-17"]
	cast_37 [label="cast bytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:16:20-30"]
	variable_38 [label="variable: c\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:16:28-29"]
	var_decl_39 [label="variable decl uint256 i1\ntests/contract_testcases/substrate/arrays/lucas.sol:17:13-24"]
	number_literal_40 [label="uint256 literal: 1\ntests/contract_testcases/substrate/arrays/lucas.sol:17:23-24"]
	var_decl_41 [label="variable decl uint256 i2\ntests/contract_testcases/substrate/arrays/lucas.sol:18:13-24"]
	number_literal_42 [label="uint256 literal: 1\ntests/contract_testcases/substrate/arrays/lucas.sol:18:23-24"]
	expr_43 [label="expression\ntests/contract_testcases/substrate/arrays/lucas.sol:19:13-52"]
	builtins [label="builtin Assert\ntests/contract_testcases/substrate/arrays/lucas.sol:19:13-19"]
	equal [label="equal\ntests/contract_testcases/substrate/arrays/lucas.sol:19:20-51"]
	subscript [label="subscript bytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:19:20-35"]
	variable_47 [label="variable: b32\nbytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:19:20-23"]
	subtract [label="subtract\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:19:24-34"]
	multiply [label="multiply\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:19:25-30"]
	variable_50 [label="variable: i1\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:19:25-27"]
	variable_51 [label="variable: i2\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:19:28-30"]
	variable_52 [label="variable: i1\nuint256\ntests/contract_testcases/substrate/arrays/lucas.sol:19:32-34"]
	trunc_53 [label="truncate bytes1\ntests/contract_testcases/substrate/arrays/lucas.sol:19:39-51"]
	shift_right [label="shift right\nbytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:19:39-51"]
	storage_load_55 [label="storage load bytes32\ntests/contract_testcases/substrate/arrays/lucas.sol:19:39-51"]
	storage_var_56 [label="storage variable\nTest.baRR\nbytes32 storage\ntests/contract_testcases/substrate/arrays/lucas.sol:19:46-50"]
	number_literal_57 [label="uint256 literal: 248\ntests/contract_testcases/substrate/arrays/lucas.sol:19:39-51"]
	diagnostic [label="found contract 'Test'\nlevel Debug\ntests/contract_testcases/substrate/arrays/lucas.sol:1:1-21:6"]
	diagnostic_60 [label="storage variable 'baRR' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/substrate/arrays/lucas.sol:3:9-21"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> var_3 [label="variable"]
	contract -> get [label="function"]
	get -> var_decl [label="body"]
	var_decl -> alloc_array [label="init"]
	alloc_array -> number_literal [label="length"]
	var_decl -> expr [label="next"]
	expr -> assign [label="expr"]
	assign -> storage_var [label="left"]
	assign -> cast [label="right"]
	cast -> variable [label="expr"]
	expr -> var_decl_13 [label="next"]
	var_decl_13 -> number_literal_14 [label="init"]
	var_decl_13 -> var_decl_15 [label="next"]
	var_decl_15 -> expr_16 [label="next"]
	expr_16 -> assign_17 [label="expr"]
	assign_17 -> variable_18 [label="left"]
	assign_17 -> trunc [label="right"]
	trunc -> variable_20 [label="expr"]
	expr_16 -> var_decl_21 [label="next"]
	var_decl_21 -> expr_22 [label="next"]
	expr_22 -> assign_23 [label="expr"]
	assign_23 -> variable_24 [label="left"]
	assign_23 -> zero_ext [label="right"]
	zero_ext -> variable_26 [label="expr"]
	expr_22 -> var_decl_27 [label="next"]
	var_decl_27 -> expr_28 [label="next"]
	expr_28 -> assign_29 [label="expr"]
	assign_29 -> variable_30 [label="left"]
	assign_29 -> bytes_cast [label="right"]
	bytes_cast -> storage_load [label="expr"]
	storage_load -> storage_var_33 [label="expr"]
	expr_28 -> expr_34 [label="next"]
	expr_34 -> assign_35 [label="expr"]
	assign_35 -> storage_var_36 [label="left"]
	assign_35 -> cast_37 [label="right"]
	cast_37 -> variable_38 [label="expr"]
	expr_34 -> var_decl_39 [label="next"]
	var_decl_39 -> number_literal_40 [label="init"]
	var_decl_39 -> var_decl_41 [label="next"]
	var_decl_41 -> number_literal_42 [label="init"]
	var_decl_41 -> expr_43 [label="next"]
	expr_43 -> builtins [label="expr"]
	builtins -> equal [label="arg #0"]
	equal -> subscript [label="left"]
	subscript -> variable_47 [label="array"]
	subscript -> subtract [label="index"]
	subtract -> multiply [label="left"]
	multiply -> variable_50 [label="left"]
	multiply -> variable_51 [label="right"]
	subtract -> variable_52 [label="right"]
	equal -> trunc_53 [label="right"]
	trunc_53 -> shift_right [label="expr"]
	shift_right -> storage_load_55 [label="left"]
	storage_load_55 -> storage_var_56 [label="expr"]
	shift_right -> number_literal_57 [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_60 [label="Warning"]
}
