Removed alphabetSize from AbtractMutableLTS<L>