Overload-Inductions patented algorithm determines all possible renaming collisions and only induces method overloading when it is safe to do so. The procedure is provably irreversible.

• 重载归纳的专利算法决定所有可能的重命名冲突,并且只有在可以安全地归纳方法重载时,才会这样做。