Refinement specifications.
Add tests for getTimespan().