Abandoned subsumes/2 implementation and added a new, simple, one.
Abandoned subsumes/2 implementation and added a new, simple, one.

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