请教一个AST的解法

zpbz

最近逆向一个网站的时候碰到了一种混淆方式，类似于这种：
K += h[C[++K]] ? C[++K] : C[++K,++K];

h[C[++K]] = h[C[++K]][C[++K]];

for (s = C[++K]; s > 0; s--)
     e.push(h[C[++K]]);
h[C[++K]] = o(K + C[++K], e, Y, W, a);

其中K是动态值，同一个表达式K可能传进来不同的数值，C是一个固定的超大数组，K是一个数组，里面放了若干个元素，基本上表达式都是放在switch case的控制流里，里面放一条或者多条语句，然后break。
调试起来非常费劲，所以想用AST解一下，里面涉及到了运算优先级，++的顺序，实在不知道怎么做。

请问这种用AST怎么解？或者有什么好的调试方法吗？