The test suite currently has multiple tests that sometimes fail. Let's collect examples in this ticket, and fix them.