-- in.cue --
a: 1 != 2       @test(eq, true)
b: 1 != null    @test(eq, true)
c: true == null @test(eq, false)
d: null != {}   @test(eq, true)
e: null == []   @test(eq, false)
f: 0 == 0.0     @test(eq, true) // types are unified first TODO: make this consistent
-- out/eval/stats --
Leaks:  0
Freed:  9
Reused: 6
Allocs: 3
Retain: 2

Unifications: 9
Conjuncts:    9
Disjuncts:    11
