When checking a counts constraint, we are applying regex matching on the compilation output but only keep the count of all matches. If that does not match the expected count as stated in the IR rule (i.e. an IR matching failure), we reapply regex matching to get the matched output as well (used for the reporting).

This is not efficient and could be merged into a single regex matching application which is especially beneficial when matching on large compilation output strings.