coverage analysis, extension of GCOV