Append precondition at README file