dump tests modified in order to reflect the recent changes performed on Alphabet (see last commit).