included message in domain state and propagate the change in the test function