This also means that lines that were not covered by tests (or only covered by slow tests) could still raise the `symbolic` error.