An attempt to understand and port the Lower Your Guards paper https://www.microsoft.com/en-us/research/publication/lower-your-guards-a-compositional-pattern-match-coverage-checker/
An attempt to understand and port the Lower Your Guards paper https://www.microsoft.com/en-us/research/publication/lower-your-guards-a-compositional-pattern-match-coverage-checker/