updated documentation in example file
updated README file to document precondition feature