ratex-parser has unbounded parser recursion that leads to stack overflow (process abort) (CVE-2026-53531) | HOL Guard CVE