anchor.diff:              let msg = sprintf "[Failed]: Name: %s, should compile but did not" test.Name
               logInfo (0, msg)
             match test.Fail, x with
  -          | Some FRNoPathForRouters, NoPathForRouters _ -> passed()
             | Some FRInconsistentPrefs, InconsistentPrefs _ -> passed()
             | Some FRCantControlPeers, UncontrollableEnter _ -> passed()
             | Some FRCantControlPeers, UncontrollablePeerPreference _ -> passed()
  
positive.code:   |> Seq.choose insideLoc
    |> Set.ofSeq
  
  let getLocsThatCantGetPath idx cg (reb : Regex.REBuilder) dfas = 
    let startingLocs = Array.fold (fun acc dfa -> Set.union (reb.StartingLocs dfa) acc) Set.empty dfas
    let originators = insideOriginators cg
    
  
negative.code:         Prefs = Some []
          Fail = None }
        { Name = "DCsmall2"
          Explanation = "Through spine no backup"
          Topo = tDatacenterSmall
          Rf = rDatacenterSmall2
          Receive = Some []
          Originate = Some [ "A" ]
          Prefs = Some []
          Fail = None }
        { Name = "DCsmall3"
          Explanation = "Through spine with backup"
          Topo = tDatacenterSmall
  