pub type UnionEqualities = Vec<(Id, Id, Symbol)>;
A vector of equalities based on enode ids. Each entry represents two enode ids that are equal and why.
