I think I am finding more examples of the same problem, so I will just add it here:

    x = "hello"
    try:
        3/0
    except ZeroDivisionError:
        if x == 'raise':
            raise ValueError()   # line 6
    f = 7

This shows a trace for line 6, which is never excecuted:

call <string> 1 @-1
    line <string> 1 @0
    line <string> 2 @4
    line <string> 3 @6
    exception <string> 3 @10
    line <string> 4 @24
    line <string> 5 @36
    line <string> 6 @50
    line <string> 7 @52
    return <string> 7 @58