Slicing of Constraint Logic Programs