[ { "BlackBox" :
    { "name"      : "Clash.Transformations.removedArg"
    , "type"      : "removedArg :: a"
    , "templateE" : "~ERRORO"
    }
  }
]