Re: smatch, something like the Stanford Checker