Segfault in findall

Jonathan Lever wrote:
> 
> use_module(top).
> local_param(default).
> top(att1_1,router('Chicago1')).

Hi Jonathan,

the problem is caused by an untenable repair variable
inside the terms that are collected by findall.

findall implies heap copying, heap copying copies
variables with their attributes, the attribute of
an untenable repair variable contains a cyclic term,
and heap copy cannot deal with those cyclic terms...

I wonder whether your findall-based code is correct
at all because, even if it worked, you'd get copies
of your original variables, not the variables themselves.

And yes, it seems we need to do something about cyclic terms,
suddenly everybody seems to run into them ...

-- Joachim