Provide a few example patterns of program pairs for which the translation validation algorithm will be unable to determine equivalence.