+val* var /* : FlowContext */;
+val* var_before_block /* var before_block: FlowContext */;
+val* var1 /* : nullable AExpr */;
+val* var3 /* : nullable AExpr */;
+val* var4 /* : nullable EscapeMark */;
+val* var6 /* : nullable EscapeMark */;
+val* var7 /* : FlowContext */;
+val* var9 /* : FlowContext */;
+val* var_after_block /* var after_block: FlowContext */;
+val* var10 /* : nullable AExpr */;
+val* var12 /* : nullable AExpr */;
+short int var13 /* : Bool */;
+short int var14 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var16 /* : Bool */;
+short int var17 /* : Bool */;
+val* var18 /* : FlowContext */;
+val* var_before_catch /* var before_catch: FlowContext */;
+val* var19 /* : FlowContext */;
+val* var20 /* : nullable AExpr */;
+val* var22 /* : nullable AExpr */;
+val* var23 /* : FlowContext */;
+val* var25 /* : FlowContext */;
+val* var_after_catch /* var after_catch: FlowContext */;
+val* var26 /* : FlowContext */;