update README.md, add tests and Precondition tests