inference: mark flag for effect-free `:call`s during abstractinterpret (#47689)
So that they can be deleted during the first `compact!`-ion.
This allows us to delete an inlineable and effect-free, but unused call.
This is essentially an alternative of #47305, but doesn't introduce a
problem like #47374.