add test case for issue #7
implement detector for issue #7
edit README to explain new feature
Merge pull request #8 from eller86/non-static-verification

Non static verification