Introduce Assertion

A screencast of one of Martin Fowler's refactoring patterns from the series called Simplifying Conditional Expressions.