-- in.cue --
t0: {
	a=_a: _
	let _b = a
	_out: _b
}
t1: {
	_a: b
	let b = c
	c=d: 3
}
-- out/compile --
--- in.cue
{
  t0: {
    _a: _
    let _b#1 = 〈0;_a〉
    _out: 〈0;let _b#1〉
  }
  t1: {
    _a: 〈0;let b#2〉
    let b#2 = 〈0;d〉
    d: 3
  }
}
-- out/eval/stats --
Leaks:  0
Freed:  9
Reused: 4
Allocs: 5
Retain: 3

Unifications: 9
Conjuncts:    15
Disjuncts:    10
-- out/eval --
(struct){
  t0: (struct){
    _a: (_){ _ }
    let _b#1 = (_){ _ }
    _out: (_){ _ }
  }
  t1: (struct){
    _a: (int){ 3 }
    let b#2 = (int){ 3 }
    d: (int){ 3 }
  }
}