Globals:
Function: main
block 0
var return_value: int = None
var temp1: void = None
var x: void = None
var temp3: {int/signed} = Some(MaybeSignedInt(10))
x = temp3
free(temp3)
var temp4: void = None
var temp5: bool = Some(Bool(true))
if temp5 -> block 3 else block 2
block 1
-> return
block 2
free(temp5)
return_value = x
free(temp4)
free(x)
free(temp1)
free(return_value)
-> block 4
block 3
var temp6: void = None
var x: void = None
var temp8: {int/signed} = Some(MaybeSignedInt(20))
x = temp8
free(temp8)
var temp9: {int/signed} = Some(MaybeSignedInt(10))
var temp10: void = None
temp10 = x + temp9
free(temp9)
x = temp10
free(temp10)
var temp11: void = None
free(temp11)
free(x)
free(temp6)
-> block 2
block 4
-> block 1
block 5
free(return_value)
-> block 1