add post assertionspreconditions.md