Inconsistent error checks

Protocol-finding semantic match

Bug-finding semantic matches