Lower your guards: a compositional pattern-match coverage checker