For these two programs it's easy to check that they are not equivalent. The magic words are "in general" and in general, program equivalence, as well as all ot

For these two programs it's easy to check that they are not equivalent. The magic words are "in general" and in general, program equivalence, as well as all other interesting program properties, are in general undecidable (Rice's Theorem).