pub fn alloc_id(&mut self) -> String {
        let id = self.allocator;
        self.allocator += 1;
        format!("backend{}", id)
    }
Allocate a new variable name in the constraint system.
crates/recursion/compiler/src/constraints/mod.rs