pet_scop_restrict: project out unnamed parameters from resulting context