inference: fix too conservative effects for recursive cycles (#54323)
The `:terminates` effect bit must be conservatively tainted unless
recursion cycle has been fully resolved. As for other effects, there's
no need to taint them at this moment because they will be tainted as we
try to resolve the cycle.
- fixes #52938
- xref #51092