Update JunctionTreeSpecs.scala