Bugs in performing pair-wise slicing were removed.