[temporary branch] BDDBottomUpTreeAut: add GetTransMTBDDForTuple()
[temporary branch] examples: show how to work with GetTransMTBDDForTuple()