Extracted AssertionModel class from InterpretationImpl.
Spring cleaning.