anchor.diff:                         ({ Axiom = a; Goal = f } : GoalAxiom<'cmd>)
                          : Doc =
           vsep [ headed "Axiom"
  -                      (a |> printAxiom printSVGView printCmd |> Seq.singleton)
  +                      (a |> printAxiom (printIteratedGView (printSym String)) printCmd |> Seq.singleton)
                  headed "Goal" (f |> printOView |> Seq.singleton) ]
   
   
  
positive.code: 
      open Starling.Core.Model.Pretty
      open Starling.Core.Command.Pretty
      open Starling.Core.View.Pretty
      open Starling.Core.GuardedView.Pretty
  
  
negative.code:     /// An axiom combined with a goal view.
      type GoalAxiom<'cmd> =
          { /// The axiom to be checked for soundness under Goal.
            Axiom : Axiom<IteratedGView<Sym<Var>>, 'cmd>
            /// The view representing the goal for any terms over Axiom.
            Goal : OView }
  
  