Provide reasonable failure messages for be_hal matcher