BDDBUTreeAut: add GetTransMTBDDForTuple()
OndriksMTBDD: fix DumpToDot()
OndriksMTBDD: improve DumpToDot()