Multitape_Alphabet_Enlargement.AlphabetEnlargement_ValidationBound