public static InstructionStatistics GetInstructionStatistics(this Ensures node)
 {
     return(node.GetMetadata <InstructionStatistics>((int)Annotation.AnnotationIndex.PROFILE_DATA));
 }