ISODTC2: issue permission_error(create, operator, '|'), since creation of such a priority-operator pair is never permitted.
ISODTC2: issue permission_error(create, operator, '|'), since creation of such a priority-operator pair is never permitted.

jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel