Easy pre and post assertions