inference: correctly translate inter-procedural information at everywhere

[aviatesk]

There are some remaining cases where we need to call collect_limitations!
within abstract_invoke.
Also it turns out we need to handle InterConditional in any inter-procedural
contexts, so refactored that part within abstract_call_gf_by_type and
apply the logic everywhere inter-procedural propagation happens.

Now InterConditional propagation and callsite argument type refinement
are enabled for invoke and opaque closure call sites, e.g.:

ispositive(a) = isa(a, Int) && a > 0
@test Base.return_types((Any,)) do a
    if Base.@invoke ispositive(a::Any)
    return a
    end
    return 0
end |> only == Int

@test Base.return_types((Any,)) do a
    f = Base.Experimental.@opaque a -> isa(a, Int) && a > 0
    if f(a)
        return a
    end
    return 0
end |> only == Bool