anchor.diff:      [
        run  (Num, prop_encode , fun prop_encode/0)
        , run(Num, prop_decode_legacy_big, fun prop_decode_legacy_big/0)
  +     , run(Num, prop_decode_legacy_neg_big, fun prop_decode_legacy_neg_big/0)
        , run(Num, prop_prefix_equiv,fun prop_prefix_equiv/0)
        %% , run(Num, prop_prefix_equiv,fun prop_prefix_equiv/0)
        , run(Num, prop_sort , fun prop_sort/0)
        , run(Num, prop_sort_big, fun prop_sort_big/0)
  +     , run(Num, prop_sort_neg_big, fun prop_sort_neg_big/0)
        , run(Num, prop_encode_sb32, fun prop_encode_sb32/0)
        , run(Num, prop_sort_sb32 , fun prop_sort_sb32/0)
        , run(Num, prop_partial_decode1, fun prop_partial_decode1/0)
  
positive.code:                         comp(X1,X2) == comp_i(T1,T2))
              end).
  
  prop_sort_sb32() ->
      ?FORALL({T1,T2}, {term_(), term_()},
              begin
  
negative.code: 
  prop_decode_legacy_big() ->
      ?FORALL(T, big(),
  	    sext:decode(sext:encode(T, true)) == T).
  
  prop_decode_legacy_neg_big() ->
      ?FORALL(T, neg_big(),
  	    sext:decode(sext:encode(T, true)) == T).
  
  prop_encode_sb32() ->
  