adding WeightGenerator, implementing AbstractTransformMultiTermination