Overapproximation for transitive alias

[art-w]

I ran into a small edge-case where -no-alias-deps seems to report a dependency for what I expected to be an alias (so this isn't critical as it's less precise but not incorrect!)

Given lib.ml which exposes an alias to a module A:

module A1 = A

and another module which re-exports the alias:

open Lib
module A2 = A1

codept -no-alias-deps reports a dependency on Lib and on A, but I expected an alias for the later as module A2 = Lib.A1 = A (such that the compiler doesn't require A).

[Octachron]

This should be fixed in the next release: aliasing detection now expands other aliases before deciding if the alias matters in term of dependencies.