Is this similar to Brenda Baker's "dup"? https://www.cs.ucdavis.edu/~devanbu/teaching/289/Schedule_files/baker-wcre95.pdf https://www.cs.ucdavis.edu/~devanbu/t

Is this similar to Brenda Baker's "dup"? https://www.cs.ucdavis.edu/~devanbu/teaching/289/Schedule_files/baker-wcre95.pdf https://www.cs.ucdavis.edu/~devanbu/teaching/289/Schedule_fi...