Working toward a semantic notion of pattern exhaustiveness