make reified div/mod stronger, kill min/max when entailed
make reified div/mod stronger, kill min/max when entailed

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