[auto-group] add constraint logic for PK elems in pairing