@Test
public void testExtensionRenamingIsReversible() {
Renaming r = Renaming.extension(sid, ssid, name, sname);
assertTrue(r.isReversible());
Renaming reverse = Renaming.extension(ssid, sid, sname, name);
assertEquals(reverse, r.reverse());
}
@Test
public void testSuffixRenamingIsReversible() {
Renaming r = Renaming.suffix("foo");
assertTrue(r.isReversible());
assertEquals(attr("sid"), r.reverse().apply(attr("sidfoo")));
}