anchor.diff:  %%% Command sequences
   %%%===================================================================
   
  -modified_commands(Module) ->
  +finite_fault_commands(Module) ->
       ?LET(Commands, commands(Module), 
           begin 
               debug("~p: original command sequence...~n", [?MODULE]),
  
positive.code:             FinalCommands
          end).
  
  %%%===================================================================
  %%% Initial state
  %%%===================================================================
  
negative.code:                     false
              end
      end;
  
  precondition(#property_state{}, {call, _Mod, forced_failure, _Args}) ->
      precondition_debug("forced failure precondition fired!", []),
      true;
  
  precondition(#property_state{counter=Counter}, {call, _Mod, Fun, Args}=_Call) ->
      precondition_debug("fallthrough precondition fired for counter ~p and node function: ~p(~p)", [Counter, Fun, Args]),
  
  