-- in.cue --
// CUE knows how to resolve the following:
x: y + 100 @test(eq, 200)
y: x - 100 @test(eq, 100)
x: 200

z1: z2 + 1 @test(eq, 11)
z2: z3 + 2 @test(eq, 10)
z3: z1 - 3 @test(eq, 8)
z3: 8

// TODO: extensive tests with disjunctions.
-- out/eval/stats --
Leaks:  0
Freed:  6
Reused: 2
Allocs: 4
Retain: 3

Unifications: 6
Conjuncts:    6
Disjuncts:    8
