anchor.diff:                  : PrefixCompileResult =
       let settings = Args.getSettings ()
       let fullName = fullName + "(" + (string idx) + ")"
  +    let topo = reb.Topo()
       let dfas, dfaTime = Profile.time (buildDfas reb) res
       let dfas = Array.ofList dfas
  -    let cg, pgTime = Profile.time (CGraph.buildFromAutomata (reb.Topo())) dfas
  +    let cg, pgTime = Profile.time (CGraph.buildFromAutomata topo) dfas
       let buildTime = dfaTime + pgTime
       debug (fun () -> CGraph.generatePNG cg polInfo fullName)
       let cg, delTime = Profile.time (CGraph.Minimize.delMissingSuffixPaths) cg
  
positive.code:     (all, allIn, allOut)
  
  let genConfig (cg: CGraph.T) 
                (pred: Route.Predicate) 
                (ord: Consistency.Ordering) 
                (inExports: Incoming.IncomingExportMap) 
  
negative.code:         let (ordering, orderTime) = Profile.time (Consistency.findOrderingConservative idx cg polInfo) fullName
          match ordering with
          | Ok ord ->
              let config, configTime = Profile.time (genConfig cg pb pred ord) inExports
              let result = 
                  {K=k; 
                   BuildTime=buildTime; 
  