private void ConstructAnnotationDependenceGraph()
        {
            if (CommandLineOptions.Clo.Trace)
            {
                Console.WriteLine("Annotation dependence analysis: Building dependence graph");
            }

            IAnnotationReachabilityChecker reachabilityChecker;

            if (CommandLineOptions.Clo.StagedHoudiniReachabilityAnalysis)
            {
                reachabilityChecker = new AnnotationReachabilityChecker(prog, AllAnnotationIdentifiers());
            }
            else
            {
                reachabilityChecker = new DummyAnnotationReachabilityChecker();
            }

            AnnotationDependences = new Graph <string>();
            foreach (var c in AllAnnotationIdentifiers())
            {
                AnnotationDependences.AddEdge(c, c);
                foreach (var vd in annotationDependsOn[c])
                {
                    if (variableDirectlyReferredToByAnnotations.ContainsKey(vd))
                    {
                        foreach (var d in variableDirectlyReferredToByAnnotations[vd])
                        {
                            if (reachabilityChecker.MayReach(d, c))
                            {
                                AnnotationDependences.AddEdge(c, d);
                            }
                        }
                    }
                }
            }

            if (CommandLineOptions.Clo.StagedHoudiniMergeIgnoredAnnotations)
            {
                MergeIgnoredAnnotations();
            }
        }
    private void ConstructAnnotationDependenceGraph()
    {
      if (CommandLineOptions.Clo.Trace)
      {
        Console.WriteLine("Annotation dependence analysis: Building dependence graph");
      }

      IAnnotationReachabilityChecker reachabilityChecker;
      
      if(CommandLineOptions.Clo.StagedHoudiniReachabilityAnalysis) {
        reachabilityChecker = new AnnotationReachabilityChecker(prog, AllAnnotationIdentifiers());
      } else {
        reachabilityChecker = new DummyAnnotationReachabilityChecker();
      }

      AnnotationDependences = new Graph<string>();
      foreach (var c in AllAnnotationIdentifiers())
      {
        AnnotationDependences.AddEdge(c, c);
        foreach (var vd in annotationDependsOn[c])
        {
          if (variableDirectlyReferredToByAnnotations.ContainsKey(vd))
          {
            foreach (var d in variableDirectlyReferredToByAnnotations[vd])
            {
              if(reachabilityChecker.MayReach(d, c))
              {
                AnnotationDependences.AddEdge(c, d);
              }
            }
          }
        }
      }

      if(CommandLineOptions.Clo.StagedHoudiniMergeIgnoredAnnotations) {
        MergeIgnoredAnnotations();
      }

    }