There was a bug in the coverage tool. The instruction_descriptor class did not explicitly set the isVisted flag in one version of the class constructor, giving erroneous coverage metrics. 



Former-commit-id: 3f6a132785b51fea3de9c428a373d356d8e42c87