FIXED: PL_rewind_foreign_frame() now destroys possibly stale foreign environments.
FIXED: PL_rewind_foreign_frame() now destroys possibly stale foreign
environments.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel