anchor.diff:      ///     A sequence containing at most one pair of <c>string</c> and
       ///     Z3 <c>BoolExpr</c> representing the variable initialisation rule.
       /// </returns>
  -    let translateVariables reals ctx funcDecls svars =
  +    let translateVariables
  +      (reals : bool)
  +      (ctx : Z3.Context)
  +      (funcDecls : Map<string, Z3.FuncDecl>)
  +      (svars : VarMap) =
           let vpars =
               svars
               |> Map.toList
  
positive.code:     /// <returns>
      ///     A <c>MuResult</c>.
      /// </returns>
      let run (fixedpoint : Z3.Fixedpoint) unsafe =
          match (fixedpoint.Query [| unsafe |]) with
          | Z3.Status.SATISFIABLE ->
               MuSat.Sat (fixedpoint.GetAnswer ())
  
negative.code:                printMap Inline String (fun s -> String (s.ToString())) fdm) ]
  
      /// Pretty-prints a response.
      let printResponse (mview : ModelView) : Response -> Doc =
          function
          | Response.Translate mm ->
              printMuModel mm
  