If value is not zero, how could this be the same for covered and uncovered lines?