all_to_empty_isequiv with hack