Arch-Refine: Bridge the slicing plugin with util.