-- in.cue --
a: {
	d: int
	b: {
		c: d
	}
	@test(eq, {
		d: int
		b: c: int
	})
}
x: {
	d: 2 @test(eq, 2)
	b: a.b.c @test(eq, int)
}
a1: y: 5
a1: a2: a3: a4: a5: a1.y
b: a1.a2.a3.a4.a5 @test(eq, 5)
-- out/eval/stats --
Leaks:  0
Freed:  15
Reused: 9
Allocs: 6
Retain: 0

Unifications: 15
Conjuncts:    22
Disjuncts:    15
