Version 2.20 - generate_testB.kl1 gen_alt7.kl1 test_altA.kl1 heuristicsB.kl1: For the generation and test of alternatives, iterative-deepening A* search wrt priority (along with breadth-first search wrt the number of rewritings) was implemented. Version 2.14 - gen_alt2.kl1: In the generation of alternatives, rewritten clauses with higher penalty points than a certain value (currently two) are eliminated in advance. Otherwise depth-2 search for programs of 100-200 lines long would be impossible. - generate_test8.kl1, test_alt8.kl1: In the test of alternatives, mode and type analyses are performed only for a local (small) region before the whole program. The local region is a set of all definition clauses (except those indicated by other MIS) of predicates indicated by MIS(s) in a group. - heuristics9.kl1: Occur-check function on `:=' was added. - kima-mainB.kl1: The period character `.'is put at the end of each clause in alternatives. Version 2.13 - heuristics8.kl1: bug fix of the implementation of both Detection Rule on singleton variables (another bug report from Mr. Hachiya) and (partial) occur-check. - test_alt7.kl1: terminate/3 is modified. Version 2.12 - kima-mainB.kl1, graphH.kl1, tgraph_st5.kl1: bug fix for a bug report from Mr. Hachiya (Chikayama Laboratory, University of Tokyo). Version 2.11 - kima-mainA.kl1, outmessage5.kl1: Output format was changed. - comb-error.kl1 (an example of an erroneous program), Readme: revised.