@Test
public void testIsSubset() {

	SymbolicAddressMap m1 = map1();
	SymbolicAddressMap m2 = map2();
	SymbolicAddressMap top = SymbolicAddressMap.top();
	assert(! m1.isSubset(m2));
	assert(! m2.isSubset(m1));
	assert(m1.isSubset(map1()));
	assert(m2.isSubset(map2()));
	assert(m1.isSubset(top));
	assert(m2.isSubset(top));
	assert(! top.isSubset(m1));
	assert(! top.isSubset(m2));
	SymbolicAddressMap m12 = m1.clone(); m12.join(m2);
	SymbolicAddressMap m21 = m2.clone(); m21.join(m1);
	assert(m12.equals(m21));
	assert(m1.isSubset(m12));
	assert(m1.isSubset(m12));
	assert(m2.isSubset(m21));
	assert(m2.isSubset(m21));
}