[Resolver] Have opSlice resolution ability