Added class that allows post conditions to be defined up front and executed all at once.