reduced complexity to check if a line mutation was killed or not covered