anchor.diff:          {ok,Toks2,_} =
               wrangler_scan:string(NewStr,{1,1},?TabWidth,unix),
           NewForm = wrangler_epp_dodger:normal_parser(Toks2,[]),
  -        best(OriginalForm) == best(NewForm)
  +        B1=best(OriginalForm), 
  +        B2=best(NewForm), 
  +        B1==B2
       of 
           Res -> Res
       catch 
  -        _E1:_E2 -> 
  +        _E1:_E2 ->
               false
       end.
   
  
positive.code:     wrangler_prettypr_0:par(Ds, -2).
  
  lay_sig_type(SigType,Ctxt) ->
      %%wrangler_io:format("SigType:\n~p\n", [SigType]),
      T1 = wrangler_syntax:revert(SigType), 
      case T1 of 
          {type, _Line, bounded_fun, [T, Gs]} ->
  
negative.code:     [D1, D2].
  
  lay_fun_spec(FunSpec, Ctxt)->
      Toks = Ctxt#ctxt.tokens,
      HasArity=lists:member('/', [element(1, T)||T<-Toks]),
      case wrangler_syntax:type(FunSpec) of 
          tuple ->
              case wrangler_syntax:tuple_elements(FunSpec) of 
                  [F,A] ->
                      D1 = lay(F, Ctxt),
                      case HasArity of 
                          true ->
                              D2 = lay(A, Ctxt),
                              beside(beside(D1, beside(text("/"), D2)), text("::"));
                          false ->
                              D1
                      end;
                  [M,F,A] ->
                      D1 = lay(M, Ctxt),
                      D2 = lay(F, Ctxt),
                      case HasArity of 
                          true ->
                              D3 = lay(A, Ctxt),
                              D23= beside(D2, beside(text("/"), D3)),
                              beside(beside(D1, beside(text(":"), D23)), text("::"));
                          false ->
                              beside(D1, beside(text(":"), D2))
                      end
              end;
          _ -> %% this should not happen
              lay(FunSpec, Ctxt)
  