Readme is updated: example test cases generation is improved.