Add mutation covering specs and to mutant driven refactorings