fix(transforms): replace uses of alias with correct function.
fix(transforms): replace uses of alias with correct function.

A global cannot alias to an external function. If a function whose
address has been taken is going to be externalized and it has some
alias then we eliminate (correctly) the alias.

This fix was provided by LinerSu.

seahorn/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm