anchor.diff:    ?FORALL(S, mesos_state(), parses(S)).
   
   parses(S) ->
  -  {ok, _} = handle_response({ok, {{0, 200, 0}, 0, jsx:encode(S)}}).
  +  {ok, _} = handle_response(#state{}, {ok, {{0, 200, 0}, 0, jsx:encode(S)}}).
   
   mesos_state() ->
  -  ?LET(F, list(p_framework()), #{
  +  ?LET({F, ET}, {list(p_framework()), integer(1449789489, 2549789489)}, #{
  +    elected_time => float(ET),
       frameworks => F,
       slaves => []
     }).
  
positive.code: 
  two_health_check_free_vips_test() ->
    {ok, Data} = file:read_file("testdata/two-healthcheck-free-vips-state.json"),
    Vips = parse_json_to_vips(Data),
    Expected = [
      {
        {tcp, {4, 3, 2, 1}, 1234},
  
negative.code:   ?assertEqual(Expected, Vips).
  bad_state_test() ->
    {ok, Data} = file:read_file("testdata/bad-state-gaal.json"),
    #state{vips = Vips} = parse_json_to_vips(#state{}, Data),
    Expected = [
      {
        {tcp, {10, 22, 126, 49}, 5000},
  