FIXED: Possible crash in cleanup handlers.
FIXED: Possible crash in cleanup handlers.

See comment above discardChoicesAfter() for more details.

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