See assertion and error message in https://github.com/SWI-Prolog/swipl-devel/pull/1478 Could you check? I can't pin it further down :-/