Inefficient Regular Expression Complexity in nth-check (CVE-2021-3803) | HOL Guard CVE