anchor.diff:  flat_from_box([]) -> <<>>;
   flat_from_box(#box{name= <<",">> ,children=[]}) -> <<", ">>;
   flat_from_box(#box{name=Name,children=[]}) ->
  -    iolist_to_binary([binary_to_list(Name), " "]);
  +    iolist_to_binary([Name, " "]);
   flat_from_box(#box{name= <<>>,children=CH}) ->
       iolist_to_binary([[flat_from_box(C) || C <-CH]]);
   flat_from_box(#box{name=Name,children=CH}) ->
  
positive.code: pretty_from_box(#box{name= <<>>,children=[]}) -> <<>>;
  pretty_from_box(#box{ind=Ind,name=Name,children=[]}) ->
      iolist_to_binary([indent(Ind), Name, "\r\n"]);
  pretty_from_box(#box{ind=Ind,name= <<>>,children=CH}) ->
      if
          (hd(CH))#box.collapsed ->
  
negative.code: binding('prior') -> 185;
  binding('fun') -> 180;
  binding('||') -> 175;
  binding('#') -> 175;
  binding('*') -> 170;
  binding('/') -> 170;
  binding('+') -> 160;
  