anchor.diff:  
   tricky_2(X) when float(X) or float(X) -> ok;
   tricky_2(_) -> error.
  +
  +tricky_3(X)
  +  when abs(X) or bit_size(X) or byte_size(X) or ceil(X) or
  +       float(X) or floor(X) or length(X) or
  +       map_size(X) or node() or node(X) or round(X) or
  +       self() or size(X) or tl(X) or trunc(X) or tuple_size(X) ->
  +    ok;
  +tricky_3(_) ->
  +    error.
   
   %% From dets_v9:read_buckets/11, simplified.
   
  
positive.code: 	    id(W);
  	true ->
  	    none
      end.
  
  get_data({o,Active,Raw}, BytesToRead, Buffer) 
  
negative.code:     false = nested_not_2(true, true, atom),
      ok.
  
  nested_not_1(X, Y) ->
      Res = nested_not_1a(X, Y),
      Res = nested_not_1b(X, Y).
  
  nested_not_1a(X, Y) when not (((X>Y) or not(is_atom(X))) and
  			     (is_atom(Y) or (X==3.4))) ->
      true;
  nested_not_1a(_, _) ->
      false.
  
  nested_not_1b(X, Y) when not (((X>Y) orelse not(is_atom(X))) andalso
  			     (is_atom(Y) orelse (X==3.4))) ->
      true;
  nested_not_1b(_, _) ->
      false.
  
  nested_not_2(X, Y, Z) ->
      Res = nested_not_2a(X, Y, Z, true),
      Res = nested_not_2b(X, Y, Z, true).
  
  nested_not_2a(X, Y, Z, True)
    when not(True and not((not(X) and not(Y)) or not(is_atom(Z)))) ->
      true;
  nested_not_2a(_, _, _, _) ->
      false.
  
  nested_not_2b(X, Y, Z, True)
    when not(True andalso not((not(X) andalso not(Y)) orelse not(is_atom(Z)))) ->
      true;
  nested_not_2b(_, _, _, _) ->
      false.
  
  semicolon(Config) when is_list(Config) ->
  