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. 

