bug in cnf dnf conversion
[Or [And [Not TraitA$1],[Not TraitC$1]],[And [Not TraitA$1],[Not TraitD$1]]] did not equal Empty test 2
ScalaTestFailureLocation: genus.GenusCanonicalize at (GenusCanonicalize.scala:285)
Expected :Empty test 2
Actual :[Or [And [Not TraitA$1],[Not TraitC$1]],[And [Not TraitA$1],[Not TraitD$1]]]
<Click to see difference>
org.scalatest.exceptions.TestFailedException: [Or [And [Not TraitA$1],[Not TraitC$1]],[And [Not TraitA$1],[Not TraitD$1]]] did not equal Empty test 2
at org.scalatest.Assertions.newAssertionFailedException(Assertions.scala:528)
at org.scalatest.Assertions.newAssertionFailedException$(Assertions.scala:527)
at org.scalatest.FunSuite.newAssertionFailedException(FunSuite.scala:1560)
at org.scalatest.Assertions$AssertionsHelper.macroAssert(Assertions.scala:501)
at genus.GenusCanonicalize.$anonfun$new$9(GenusCanonicalize.scala:285)
at org.scalatest.OutcomeOf.outcomeOf(OutcomeOf.scala:85)