anchor.diff:        opt_error("could not add ~s to code path", [Value])
     end,
     finalize(Rest, Acc);
  -finalize([{Key, Value}|Rest], AccIn) ->
  +finalize([{Key, Value} = Option|Rest], AccIn) ->
     Acc =
       case proplists:is_defined(Key, AccIn) of
         true ->
  
positive.code:             true ->
                check_values(
                  [{scheduling, fun(X) -> X =:= round_robin end}],
                  Rest ++ Acc, {scheduling_bound, T}),
                consistent(Rest, [BoundType|Acc]);
              false ->
                consistent(Rest, [BoundType|Acc])
  
negative.code:           true -> Rest;
            false -> [{optimal, false}|Rest]
          end,
        finalize(NewRest, [Option|Acc]);
      timeout ->
        case Value of
          -1 ->
            finalize(Rest, [{Key, infinity}|Acc]);
          N when is_integer(N), N >= ?MINIMUM_TIMEOUT ->
            finalize(Rest, [Option|Acc]);
          _Else ->
            opt_error(
              "--~s value must be -1 (infinity) or >= ~p",
  