Open
Description
The pyk is only interested in labels of the successful rewrite rules, hence we do need to collect the failing ones.
{{ message }}
The pyk is only interested in labels of the successful rewrite rules, hence we do need to collect the failing ones.