Another mistake when merging.

But this error helps me saw the problem with Simp-tac.

Sometime it runs too slow and makes a forever-running.
I'll take a closer look into it later.

- I change test regression into alphabet filename order. This makes us
	easier to predict what file is tested, and also make the output more
	beautiful ;)