@Test
public void testClone() {

	SymbolicAddressMap m1 = map1();
	SymbolicAddressMap m2 = map2();
	SymbolicAddressMap top = SymbolicAddressMap.top().clone();
	assert(m1.equals(m1.clone()));
	assert(m1.equals(m2.clone()));
	assert(m1.equals(top.clone()));
}