Easy pre and post assertions.