Message contents for Propagation tasks is implemented.
correctness tests are in progress and not completed yet.