Counter example for [observer_full_name]

Inputs:

  • [inport_name] = [[inport_values]];
  • Outputs:

  • [outport_name] = [[outport_value]];