-- in.cue --
if #E["x"] != _|_ {
	#E: {y: true}
}
if #E["y"] != _|_ {
	z: true
}
#E: [_]: bool
#E: x:   true
#E: _ @test(eq, {y: true, x: true})
z: _ @test(eq, true)
-- out/eval/stats --
Leaks:  0
Freed:  5
Reused: 1
Allocs: 4
Retain: 2

Unifications: 5
Conjuncts:    7
Disjuncts:    5

MisalignedConjunct: 1

NumCloseIDs: 2
