[boxing-optimization] Merge conditions refinement