anchor.diff:                      result
                       |> List.map gFuncTuple
                       |> List.unzip
  -                Multiset.add accumulator 
  +                Set.add 
                       { // Then, separately add them into a ReView.
                       Cond = mkAnd guars
                       Item = List.rev views }
  +                    accumulator 
           | p :: pattern ->
               let rec matchSingleView (view : GFunc list) rview accumulator =
                  match view with
  
positive.code: /// Reifies an dvs entire view application.
  let reifyView (dvs : ViewDef<DView> List)  vap : ViewSet = 
      let goal = Multiset.toFlatList vap
      Seq.fold (reifySingleDef goal) Multiset.empty dvs
  
  /// Reifies all of the views in a term.
  let reifyTerm dvs = 
  
negative.code: open Starling.Core.GuardedView
  
  /// Calculate the multiset of ways that this View matches the pattern in dv and add to the assumulator.
  let reifySingleDef view accumulator (dv : ViewDef<DView>) = 
  
      let rec matchMultipleViews (pattern : DFunc list) (view : GFunc list) accumulator result =
          match pattern with
  