scop.c: restrict_skip: update documentation to change in pet_scop_restrict