Export tmp.zip-C-f().dot

digraph{
0[label="Node Type: ENTRY_POINT 0
"];
0->1;
1[label="Node Type: EXPRESSION 1

EXPRESSION:
Helper._require(msg.sender != address(0),42)

IRs:
TMP_0 = CONVERT 0 to address
TMP_1(bool) = msg.sender != TMP_0
INTERNAL_CALL, _require(bool,uint256)(TMP_1,42)"];
}

