anchor.diff:  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>) : ViewSet  = 
  +let reifySingleDef view accumulator (dv : ViewDef<DView>) = 
   
       let rec matchMultipleViews (pattern : DFunc list) (view : GFunc list) accumulator result =
           match pattern 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:                     result
                      |> List.map gFuncTuple
                      |> List.unzip
                  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
  