fix a bug about edge coverage using the prefix graph algorithm, add tests and HtmlUnit library