正确处理数组/foreach解构中的键名与嵌套结构, 修复switch中default位于匹配case前时执行顺序错误的问题, 确保finally块在break/continue/goto离开try/catch时被注入, 并支持动态静态方法与属性调用。