anchor.diff:                           %% The size is a non-integer literal or a simple
                            %% expression that does not evaluate to an
                            %% integer value. Issue a warning.
  -                         add_warning(Line, non_integer_bitsize, St3);
  +                         add_warning(Anno, non_integer_bitsize, St3);
                        false -> St3
                    end,
               {unknown,Vt,New,St}
  
positive.code:     Called = sofs:relation(Called0, [{func,location}]),
      Def = sofs:from_external(gb_sets:to_list(Def0), [func]),
      Undef = sofs:to_external(sofs:drestriction(Called, Def)),
      foldl(fun ({NA,L}, St) ->
  		  add_error(L, {undefined_function,NA}, St)
  	  end, St0, Undef).
  
  %% check_undefined_types(State0) -> State
  
negative.code:     R = sofs:to_external(R4),
      behaviour_add_conflicts(R, St).
  
  behaviour_add_conflicts([{Cb,[{FirstAnno,FirstB}|Cs]}|T], St0) ->
      FirstL = element(2, loc(FirstAnno, St0)),
      St = behaviour_add_conflict(Cs, Cb, FirstL, FirstB, St0),
      behaviour_add_conflicts(T, St);
  behaviour_add_conflicts([], St) -> St.
  
  behaviour_add_conflict([{Anno,B}|Cs], Cb, FirstL, FirstB, St0) ->
      St = add_warning(Anno, {conflicting_behaviours,Cb,B,FirstL,FirstB}, St0),
      behaviour_add_conflict(Cs, Cb, FirstL, FirstB, St);
  behaviour_add_conflict([], _, _, _, St) -> St.
  
  