Partial Slicing for Large Programs