private LSG lsg; // Loop Structure Graph

        #endregion Fields

        #region Constructors

        public HavlakLoopFinder(CFG cfg, LSG lsg)
        {
            this.cfg = cfg;
            this.lsg = lsg;
        }
 public LoopTesterApp()
 {
     cfg = new CFG();
     lsg = new LSG();
     root = cfg.createNode(0);
 }