added restriction retrieving and adding messages using pre-post annotations