anchor.diff:  -spec rep_port_command(port, term(), [force | nosuspend]) -> boolean().
   rep_port_command(Port, Data, OptionList) ->
       check_unknown_process(),
  -    concuerror_sched:notify(port_command, Port),
  +    %concuerror_sched:notify(port_command, Port),
       Result = port_command(Port, Data, OptionList),
       concuerror_util:wait_messages(not_found),
       Result.
  
positive.code: -spec rep_port_control(port, integer(), term()) -> term().
  rep_port_control(Port, Operation, Data) ->
      check_unknown_process(),
      concuerror_sched:notify(port_control, Port),
      Result = port_control(Port, Operation, Data),
      concuerror_util:wait_messages(not_found),
      Result.
  
negative.code: -spec rep_port_command(port, term()) -> true.
  rep_port_command(Port, Data) ->
      check_unknown_process(),
      %concuerror_sched:notify(port_command, Port),
      port_command(Port, Data),
      concuerror_util:wait_messages(not_found),
      true.
  