List and try-except combo raises AnalyzerException

[Patience Shyu]

This is a minimal example reproducing the ASM verifier error I got trying to run pystone.

[x] = [0]

try:
    a = 1
except:
    a = 2

As far as I can tell all those bits have to be there: the list variable with the insides named, the try and except which is in this example obviously unrelated to x (strange combo I know). Full ASM error:
https://gist.github.com/patiences/ab612f1af22cd426a58d6b67afce65db