It would, however, be quite difficult to have a program determine that two subs are doing the same thing, using different code, like one calculating factorials recursively and another doing so with a loop.

So difficult as to be impossible in the general case - since it reduces to the halting problem.