anchor.diff:  let goalAddAxiom
     (ds : ViewDefiner<_>)
     (fg : FreshGen)
  -  ((name, axiom) : (string * Axiom<GView<Sym<Var>>, 'cmd>))
  +  ((name, axiom) : (string * Axiom<IteratedGView<Sym<Var>>, 'cmd>))
     : (string * GoalAxiom<'cmd>) list =
       // Each axiom comes in with a name like method_0,
       // where the 0 is the edge number.
  
positive.code:     /// An axiom combined with a goal view.
      type GoalAxiom<'cmd> =
          { /// The axiom to be checked for soundness under Goal.
            Axiom : Axiom<GView<Sym<Var>>, 'cmd>
            /// The view representing the goal for any terms over Axiom.
            Goal : OView }
  
  
negative.code: 
      open Starling.Core.Model.Pretty
      open Starling.Core.Command.Pretty
      open Starling.Core.Symbolic.Pretty
      open Starling.Core.View.Pretty
      open Starling.Core.GuardedView.Pretty
  
  