refine execution tree