swipl_occurs_check(ok).