Can we use `assert` instead of `satisfy` and simply handle the assertion-related errors inside generators?