Found bug: inconsistent atom labelings result in Egraphs being misinterpreted. Now to fix it...