is_equivalent_to now includes compartment