Property Driven Program Slicing Refinement