Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.