simplify good_context_instance_equality