[Resolver] Further reduction