anchor.diff:  ///     This is wrapped in a Chessie result over <c>Error</c>.
   /// </returns>
   let axiomatiseGraph
  -  : Graph -> (string * Axiom<GView<Sym<Var>>, Command>) seq =
  +  : Graph -> (string * Axiom<GraphView, Command>) seq =
       mapEdges
           (fun { Name = n; SrcView = s ; DestView = t ; Command = c } ->
               (n, { Pre = match s with InnerView v -> v
  
positive.code:     open Starling.Core.Axiom.Pretty
      open Starling.Core.View.Pretty
      open Starling.Core.GuardedView.Pretty
  
  
      /// <summary>
  
negative.code: /// </returns>
  let axiomatise
    (model : Model<Graph, _>)
    : Model<Axiom<GraphView, Command>, _> =
      withAxioms (axiomatiseGraphs model.Axioms) model
  
  
  