More test cases for Resolver.