fix a bug: add two lines at line 777 and 778 of the class MutantCodeWriter