Update MiniboxSpecTreeTransformer.scala

Nicer if is a Map