Fixed JunctionTreeSpecs