anchor.diff:                      tgs:call_fun("complex_numbers:new", lists:map(fun tgs:value/1, Cplx))])])])]),
   
       {ok, Fn, [{Property, ["Z"]}]};
  -generate_test(#{description := Desc, expected := Exp, property := <<"div">>, z1 := Z1, z2 := Z2}) ->
  -    generate_test(#{description => Desc, expected => Exp, property => <<"divide">>, z1 => Z1, z2 => Z2});
  -generate_test(#{description := Desc, expected := Exp, property := Prop, z1 := Z1, z2 := Z2}) ->
  +generate_test(#{description := Desc, expected := Exp, property := <<"div">>, input := #{z1 := Z1, z2 := Z2}}) ->
  +    generate_test(#{description => Desc, expected => Exp, property => <<"divide">>, input => #{z1 => Z1, z2 => Z2}});
  +generate_test(#{description := Desc, expected := Exp, property := Prop, input := #{z1 := Z1, z2 := Z2}}) ->
       TestName = tgen:to_test_name(Desc),
       Property = binary_to_list(Prop),
   
  
positive.code: 
  generate_test(F = #{description := Desc, cases := Cases}) ->
      rewrap(lists:flatten(lists:map(fun generate_test/1, Cases)), {[], []});
  generate_test(#{description := Desc, expected := Exp, property := Prop, input := Z}) when is_number(Exp) ->
      TestName = tgen:to_test_name(Desc),
      Property = binary_to_list(Prop),
  
  
negative.code:                     tgs:call_fun("complex_numbers:new", lists:map(fun tgs:value/1, Cplx))]))])]),
  
      {ok, Fn, [{Property, ["Z"]}]};
  generate_test(#{description := Desc, expected := Exp, property := Prop, input := #{z := Z}}) ->
      TestName = tgen:to_test_name(Desc),
      Property = binary_to_list(Prop),
  
  