Easy pre and post assertions
