The feature use_coverage of hypothesis caused the failing tests, because the printer_file_test is sensitive to the coverage analysis of hypothesis. Fixed by disabling use_coverage for the crashing tests