Added more tests for Resolver class