coverage.R: comments updated. testgen.r: builtin trace to testcases converter.