anchor.diff:    {ok, VIPs} = handle_response({ok, {{0, 200, 0}, 0, jsx:encode(S)}}).
   
   mesos_state() ->
  -  ?LET(F, list(framework()), #{
  +  ?LET(F, list(p_framework()), #{
       frameworks => F
     }).
   
  -framework() ->
  -  ?LET(T, list(task()), #{
  +p_framework() ->
  +  ?LET(T, list(p_task()), #{
       tasks => T
     }).
   
  -task() ->
  +p_task() ->
     NumPorts = random:uniform(20),
     ?LET({L, R, State, Statuses},
  -       {list(label(NumPorts)), list(resource(NumPorts)), taskstate(), list(statuses())},
  +       {list(p_label(NumPorts)), list(p_resource(NumPorts)), p_taskstate(), list(p_statuses())},
          #{
            labels => L,
            resources => R,
  
positive.code: 
  -spec networkinfos_to_ips([], []) -> [];
                           ([], [pos_integer()]) -> [pos_integer()];
                           ([map()], []) -> [pos_integer()].
  networkinfos_to_ips([], Acc) ->
    Acc;
  networkinfos_to_ips([NetworkInfo|Rest], Acc) ->
  
negative.code: task_fold(_, AccIn) ->
    AccIn.
  
  -spec vip_permutations(task_status(), [binary()], [binary()], orddict:orddict()) -> orddict:orddict().
  vip_permutations(_Status = #{healthy := false}, _Ports, _Labels, AccIn) ->
    AccIn;
  vip_permutations(Status, Ports, Labels, AccIn) ->
  