static slicing