anchor.diff:      |> should equal """type Shell() = 
       static member private GetParams(cmd, ?args) = doStuff
       static member Exec(cmd, ?args) = 
  -        shellExec(Shell.GetParams(cmd, ?args = args))"""
  +        shellExec (Shell.GetParams(cmd, ?args = args))"""
   
   [<Test>]
   let ``should add space before argument on given config``() =
  
positive.code:         for e in f() do printfn "%d" e""" config
      |> prepend newline
      |> should equal """
  let iterate1(f : unit -> seq<int>) = 
      for e in f() do
          printfn "%d" e
  
  let iterate2(f : unit -> #seq<int>) = 
      for e in f() do
          printfn "%d" e"""
  
  
negative.code:     """ config
      |> prepend newline
      |> should equal """
  let user_printers = ref ([] : (string * (term -> unit)) list)
  let the_interface = ref ([] : (string * (string * hol_type)) list)"""
  
  [<Test>]
  let ``should print named patterns on explicit constructors``() =
  