Documentation

run removes if-statements that one branch always returns and the other branch doesn't.

For example, the following

if True:
    return 0
else:
    a = 0
b = 1
return 2

is converted to

if True:
    return 0
else:
    a = 0
    b = 1
    return 2