anchor.diff:      (all, allIn, allOut)
   
   let genConfig (cg: CGraph.T) 
  +              (pb: Route.PredicateBuilder)
                 (pred: Route.Predicate) 
                 (ord: Consistency.Ordering) 
                 (inExports: Incoming.IncomingExportMap) 
  
positive.code:         let (ordering, orderTime) = Profile.time (Consistency.findOrderingConservative idx cg polInfo) fullName
          match ordering with
          | Ok ord ->
              let config, configTime = Profile.time (genConfig cg pred ord) inExports
              let result = 
                  {K=k; 
                   BuildTime=buildTime; 
  
negative.code:         | _, Deny -> false
          | Allow (_,es1), Allow (_,es2) -> es1 = es2
  
  
      let inline coveredMatch m1 m2 =
          match m1, m2 with
          | Peer(x), Peer(y)
          | State(_,x), Peer(y) ->
              y = Any || x = y
          | _, _ -> true
  
  
      let inline coveredFilter (f1: Filter) (f2: Filter) = 
          match f1, f2 with
  