Verify LHN with help of search.
Merge pull request #22 from dtzinov/better-verifier

Verify LHN with help of search.