Building Executable Union Slices using Conditioned Slicing