Lifting E-Graphs: A Function Isn't a Constant

The authors present a method to handle variables carefully within a data structure called an e-graph, which is used for representing expressions. They introduce a special way to keep track of variables using enhanced identifiers combined with bitvectors to manage variable scopes. Their technique also includes smart ways to merge and manage these variables, inspired by previous methods like slotted e-graphs and Co-de Bruijn syntax. This approach aims to reduce mistakes related to variable handling in computational settings.