anchor.diff:  
       %% Read resulting value.
       {ok, {_, _, _, S2V1}} = lasp:read(S2, {strict, undefined}),
  -    ?assertEqual(lists:map(Function, lists:seq(1, ?MAX_INPUT)), ?SET:value(S2V1)),
  +    ?assertEqual(lists:map(Function, lists:seq(1, ?MAX_INPUT)), lasp_type:query(?SET, S2V1)),
   
       %% Bind again.
       ?assertMatch({ok, _}, lasp:update(S1, {add_all, [?MAX_INPUT + 1,?MAX_INPUT + 2]}, a)),
  
positive.code: 
      %% Read resulting value.
      {ok, {_, _, _, S2V1}} = lasp:read(S2, {strict, undefined}),
      ?assertEqual(lists:map(Function, lists:seq(1, ?MAX_INPUT)), ?SET:value(S2V1)),
  
      %% Bind again.
      ?assertMatch({ok, _}, lasp:update(S1, {add_all, [?MAX_INPUT + 1,?MAX_INPUT + 2]}, a)),
  
negative.code:     %% Read resulting value.
      {Time, {ok, {_, _, _, S2V2}}} = timer:tc(lasp, read, [S2, {strict, S2V1}]),
  
      ?assertEqual(lists:seq(2, ?MAX_INPUT * 2 + 4, 2), lasp_type:query(?SET, S2V2)),
      lager:info("Time without incremental computation: ~p", [Time]),
  
      ok.
  