got rid of printing
more informative messages on assertions