Constraint package:generics-sop