This checks if all calls to
assert have an ID and a message as second
and third inputs. These inputs can improve readability by showing the
reader what it means if the assert fails. Additionally, the feedback to
the user on a failed assertion will be much more informative.