If test is True, nothing happens except that the
assert_counter is incremented by one. When test is False, an error message is printed
on std_output and an sedb_breakpoint allow you to find out what is going wrong
(assuming you are using the -sedb debugger).