SliceGuarantor: Slice translation wip