This explores the idea proposed by @nomeata in #18789, bailing early on the co-call analysis if we find the group contains a self-recursive bindings.
TODO:
CallArity1