anchor.diff:      |> Seq.map (fun (x, ys) -> (x, Seq.map snd ys |> List.ofSeq))
       |> List.ofSeq
     
  -  let addBackPair origins pairs acc (p, _) = 
  -    if Set.contains p origins then (p, Originate) :: acc
  +  let addBackPair origins pairs acc (p, actions) = 
  +    if Map.containsKey p origins then (p, origins.[p]) :: acc
       else 
         match Map.tryFind p pairs with
         | None -> acc
  
positive.code:     // get export filter information
      let peerInfo = (allPeers, inPeers, outPeers)
      let peerExportMap = 
        computeExportFilters exportMap peerInfo (cMap, cLists, clID) (polLists, polID) rMaps
      // add import filter for all peers
      for peer in allPeers do
        let export = Map.tryFind peer peerExportMap
  
negative.code:   
    let inline addOriginator acc (p, actions) = 
      match actions with
      | Originate es -> Map.add p actions acc
      | _ -> acc
    
    let rec catchAll allComms covered (p1, f1) below : bool = 
  