removal of hard-coded ciphertext_len upperbound
regex2dfa pipeline