anchor.diff:          printUVModelView printGoalAxiom mview m
       | TermGen m ->
           printUVModelView (printPTerm printSMGView printOView) mview m
  +    | Semantics m ->
  +        printUVModelView (printSTerm printSMGView printOView) mview m
       | Reify m ->
  -        printUVModelView (printPTerm printSMViewSet printOView) mview m
  +        printUVModelView (printSTerm printSMViewSet printOView) mview m
       | Flatten m ->
  -        printUFModelView (printPTerm printSMGView printSMVFunc) mview m
  -    | Semantics m ->
           printUFModelView (printSTerm printSMGView printSMVFunc) mview m
       | TermOptimise m ->
           printUFModelView (printSTerm printSMGView printSMVFunc) mview m
  
positive.code:     ** phase  axiomatise     Request.Axiomatise     Response.Axiomatise
      ** phase  goalAdd        Request.GoalAdd        Response.GoalAdd
      ** phase  termGen        Request.TermGen        Response.TermGen
      ** phase  reify          Request.Reify          Response.Reify
      ** phase  flatten        Request.Flatten        Response.Flatten
      ** phase  semantics      Request.Semantics      Response.Semantics
      ** phase  termOptimise   Request.TermOptimise   Response.TermOptimise
      ** backend
  
  
negative.code:     | GoalAdd of UVModel<GoalAxiom<Command>>
      /// The result of term generation.
      | TermGen of UVModel<PTerm<SMGView, OView>>
      /// The result of semantic expansion.
      | Semantics of UVModel<STerm<SMGView, OView>>
      /// The result of term reification.
      | Reify of UVModel<STerm<SMViewSet, OView>>
      /// The result of term flattening.
      | Flatten of UFModel<STerm<SMGView, SMVFunc>>
      /// The result of term optimisation.
      | TermOptimise of UFModel<STerm<SMGView, SMVFunc>>
      /// The result of Z3 backend processing.
  