modify create_long_lemma and generate_long_lemmna
test for Comainu#kc2longout
test for Comainu#format_bnstdata