Added tests for Specification#resolve.