anchor.diff:          let checkParents' = checkParent tokenToNumber blockToParents
           let myChecks = [checkChildren'; checkParents']
   
  -        let expectedNodes = 4
  -        let expectedBlocks = 4
  +        
           let prefix = "`Cycle after cycle A+B+"
           //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 inside cycle (A+B)+``() = 
  
positive.code: 
          let myConds = [myChildrenCheck; myParentsCheck]
          
          let expectedNodes = 4
          let expectedBlocks = 3
          let prefix = "`elementary"
  
          //act 
          let cfg = buildCfg qGraph parse createCfg astToDot tokToRealString prefix
          //assert
          runTest cfg expectedBlocks expectedNodes returnTrue returnTrue myConds
  
      [<Test>]
      member test.``Ambiguous test``() =
          let qGraph = createParserInput' "Ambiguous.dot"
  
          let expectedNodes = 4
          let expectedBlocks = 4
  
          let blockToChildren = dict [yNumber, [xNumber]; zNumber, [xNumber];]
          let checkChildren' = checkChildren tokenToNumber blockToChildren
  
negative.code:         //action
          let cfg = buildCfg qGraph parse createCfg astToDot tokToRealString prefix
          //asserts
          runTest cfg checkEntryNode' checkExitNode' myChecks
  
      [<Test>]
      member this.``Cycle after cycle A+B+``() = 
  