Relational Abstractions Based on Labeled Union-Find

Compiling with Abstract Interpretation