Add desired precondition behavior to README.md