cname_under_previous_dname
cname_under_previous_dname(orig, i, &j) &&
&& cname_under_previous_dname(rep, i, &j)) {
cname_under_previous_dname(orig, i, &j) &&
&& cname_under_previous_dname(rep, i, &j)) {