protected AnnotationStoreBuilder(ControlFlowGraph cfg)
 {
     this.cfg   = cfg;
     this.store = new AnnotationStore();
 }