anchor.diff:      open Starling.Core.Axiom.Pretty
       open Starling.Core.View.Pretty
       open Starling.Core.GuardedView.Pretty
  +    open Starling.Core.Symbolic.Pretty
  +    open Starling.Core.Var.Pretty
   
   
       /// <summary>
  
positive.code: ///     A map of axioms characterising <paramref name="_arg1" />.
  /// </returns>
  let axiomatiseGraphs
    : Map<string, Graph> -> Map<string, Axiom<GView<Sym<Var>>, Command>> =
      // The map key is redundant, as we already have it inside the
      // graph iself.
      Map.toSeq
  
negative.code:         let list = match nk with Normal -> [] | Entry -> [String "(Entry)"] | Exit -> [String "(Exit)"] | EntryExit -> [String "(EntryExit)"]
          hsep [ id |> String
                 ([ id |> String
                    view |> printViewExpr (printIteratedGView (printSym printVar)) ] @ list)
                  |> colonSep |> printLabel
               ]
          |> withSemi
  