anchor.diff:  %% type(Node) = disjunction
   %% data(Node) = [syntaxTree()]
   
  -disjunction(Tests) -> tree(disjunction, Tests).
  +disjunction(Tests) -> copy_pos(hd(Tests),tree(disjunction, Tests)).
   
   %% =====================================================================
   %% @spec disjunction_body(syntaxTree()) -> [syntaxTree()]
  
positive.code: %%	Body = Size = syntaxTree()
  
  size_qualifier(Body, Size) ->
      tree(size_qualifier,
  	 #size_qualifier{body = Body, size = Size}).
  
  %% =====================================================================
  %% @spec size_qualifier_body(syntaxTree()) -> syntaxTree()
  
negative.code: %% type(Node) = conjunction
  %% data(Node) = [syntaxTree()]
  
  conjunction(Tests) -> copy_pos(hd(Tests), tree(conjunction, Tests)).
  
  %% =====================================================================
  %% @spec conjunction_body(syntaxTree()) -> [syntaxTree()]
  