bug fixed and added simple clause for two-sized alphabet
test stuff