anchor.diff:                    Dict2 = lists:foldl(
                               fun({mod_start, w_1, LPN, Pg}, D) ->
                                       orddict:append(LPN, Pg, D);
  -                               ({mod_start, w_t, LPN, _Pg}, D) ->
  -                                    orddict:append(LPN, [aaaa_error_trimmed], D)
  +                               ({mod_start, WType, LPN, _Pg}, D)
  +                                 when WType == w_ft; WType == w_tt ->
  +                                    orddict:append(LPN, [error_trimmed], D)
                               end, Dict1, [X || X={mod_start,_,_,_} <- StEnds]),
                     Dict3 = lists:foldl(
                               fun({mod_end, w_1, LPN, Pg}, D) ->
                                       orddict:store(LPN, [Pg], D);
  -                               ({mod_end, w_t, LPN, _Pg}, D) ->
  +                               ({mod_end, WType, LPN, _Pg}, D)
  +                                 when WType == w_ft; WType == w_tt ->
                                       orddict:store(LPN, [error_trimmed], D)
                               end, Dict2, [X || X={mod_end,_,_,_} <- StEnds]),
                     {{TS1, TS2, [{values, Dict3}]}, Dict3}
  
positive.code:                    (_)   -> false end,
      BadReads = filter_relation_facts(BadFilter, Reads),
  
      ?WHENFAIL(begin
      %% ?QC_FMT("*Events: ~p\n", [Events]),
      ?QC_FMT("*Mods: ~p\n", [Mods]),
      ?QC_FMT("*InvalidTtns: ~p\n", [InvalidTransitions]),
   %?QC_FMT("*Reads: ~p\n", [Reads]),
      ?QC_FMT("*Reads: ~p\n", [eqc_temporal:unions([Mods,Reads])]),
      %% ?QC_FMT("*readsUmods: ~p\n", [eqc_temporal:union(Reads, Mods)]),
      %% ?QC_FMT("*DreadUDmod: ~p\n", [eqc_temporal:unions([DoneRead, DoneMod,
      %%                                                    StartRead, StartMod])]),
      ?QC_FMT("*BadReads: ~p\n", [BadReads])
      end,
      conjunction(
  
negative.code: -define(TRIP_bad_scan_forward, false).
  -endif.
  -ifndef(TRIP_bad_fill).
  -define(TRIP_bad_fill, false).
  -endif.
  
  initial_state() ->
  