First-call solution loss in findall/3 over a large multi-clause predicate; identical second call succeeds; masked by garbage_collect/0 (SWI-Prolog 10.0.2, arm64-darwin) #1507