added regular language infiniteness test, fixed is_reg_lang_empty heap corruption issue