Adds coverage extraction