Change Protocol definition for misbehaviors of datastores.
(ContentStores sometimes may be updated,
Modified droping data packets after storing data.)
Modify proofs of some lemmas caused by changing protocol definitions.