[Or java.lang.Number,genus.Trait1] did not equal Empty
td=[And [Not [= 1]],[Or java.lang.Number,genus.Trait1]]
dnf=[Or [And [Not [= 1]],java.lang.Number],genus.Trait1],
dnf inverse=[Not [Or [And [Not [= 1]],java.lang.Number],genus.Trait1]]
td-dnf=[Or java.lang.Number,genus.Trait1], expecting EmptyType
ScalaTestFailureLocation: genus.GenusCanonicalize at (GenusCanonicalize.scala:359)
Expected :Empty td=[And [Not [= 1]],[Or java.lang.Number,genus.Trait1]] dnf=[Or [And [Not [= 1]],java.lang.Number],genus.Trait1], dnf inverse=[Not [Or [And [Not [= 1]],java.lang.Number],genus.Trait1]] td-dnf=[Or java.lang.Number,genus.Trait1], expecting EmptyType
Actual :[Or java.lang.Number,genus.Trait1]
<Click to see difference>
org.scalatest.exceptions.TestFailedException: [Or java.lang.Number,genus.Trait1] did not equal Empty td=[And [Not [= 1]],[Or java.lang.Number,genus.Trait1]] dnf=[Or [And [Not [= 1]],java.lang.Number],genus.Trait1], dnf inverse=[Not [Or [And [Not [= 1]],java.lang.Number],genus.Trait1]] td-dnf=[Or java.lang.Number,genus.Trait1], expecting EmptyType
at org.scalatest.Assertions.newAssertionFailedException(Assertions.scala:472)
at org.scalatest.Assertions.newAssertionFailedException$(Assertions.scala:471)
at org.scalatest.Assertions$.newAssertionFailedException(Assertions.scala:1231)
at org.scalatest.Assertions$AssertionsHelper.macroAssert(Assertions.scala:1295)
at genus.GenusCanonicalize.testDnfInverse(GenusCanonicalize.scala:359)