sanity check for the case when both incoming message and backward dep exist