Relational Abstractions Based on Labeled Union-Find