* Added verification service when a packet is not destined for the subsystem but has error

* Setting hk to GND

* Added case

* Fixed conditions due to not using assert