anchor.diff:          //action
           let cfg = buildCfg qGraph parse createCfg astToDot tokToRealString prefix
           //asserts
  -        runTest cfg expectedBlocks expectedNodes checkEntryNode' checkExitNode' myChecks
  +        runTest cfg checkEntryNode' checkExitNode' myChecks
   
       [<Test>]
       member this.``Cycle (A | B)+``() = 
           let qGraph = createParserInput' "(A or B)+.dot"
   
  -        let expectedNodes = 3
  -        let expectedBlocks = 4
  -
           //first block has two childs: A and B
           let entryCond = myCond [| aNumber; bNumber |]
           let checkEntryNode' = checkEntryNode tokenToNumber entryCond
  
positive.code:         let checkParents' = checkParent tokenToNumber blockToParents
          let myChecks = [checkChildren'; checkParents']
  
          let expectedNodes = 5
          let expectedBlocks = 5
          let prefix = "`Cycle inside cycle ((AB)+C)+"
          //action
          let cfg = buildCfg qGraph parse createCfg astToDot tokToRealString prefix
          //asserts
          runTest cfg expectedBlocks expectedNodes checkEntryNode' checkExitNode' myChecks
  
  
  //[<EntryPoint>]
  let f x = 
  
negative.code: 
  let returnTrue = fun _ -> true
  
  let runTest (cfg : ControlFlow<_>) checkEntry checkExit checks = 
              
      Assert.IsTrue(checkEntry cfg.Entry, "Incorrect entry node!")
      Assert.IsTrue(checkExit cfg.Exit, "Incorrect exit node")
              
      let checkCondition condition = 
          let res = condition cfg.Blocks
          Assert.True(res, "Incorrect cfg was built")
  