Stack size limit with findall

Can you provide a Minimal and reproducible working example


Also

 findall(Names,call(Term),ProveResultList),

looks wrong. I would expect the Template to have a variable from the Goal. See findall/3.