-- in.cue --
a: b + 100
b: a - 100
a: 200

c: d & {b: 2}
d: e
e: {a: 1}
e: c
-- out/eval/stats --
Leaks:  0
Freed:  12
Reused: 7
Allocs: 5
Retain: 3

Unifications: 12
Conjuncts:    24
Disjuncts:    15
-- out/eval --
(struct){
  a: (int){ 200 }
  b: (int){ 100 }
  c: (struct){
    b: (int){ 2 }
    a: (int){ 1 }
  }
  d: (struct){
    a: (int){ 1 }
    b: (int){ 2 }
  }
  e: (struct){
    a: (int){ 1 }
    b: (int){ 2 }
  }
}
-- out/compile --
--- in.cue
{
  a: (〈0;b〉 + 100)
  b: (〈0;a〉 - 100)
  a: 200
  c: (〈0;d〉 & {
    b: 2
  })
  d: 〈0;e〉
  e: {
    a: 1
  }
  e: 〈0;c〉
}