stronger propagation for min and max, closing item i3a#88
stronger propagation for min and max, closing item i3a#88

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