These coverage properties are highly redundant, why do we add these?
We can always check for branch coverage. If we have a reachability
violation, we can check for that kind of coverage. There is no need
for having these weird coverage properties in every taskdef file.