U: improve how to recognize a source file to insert coverage code. fix #34