TEST: Added test for interaction between clause GC and local stack shifts.
TEST: Added test for interaction between clause GC and local stack shifts.

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