[ResolverSpec] Make specs for conflict messages more precise