[ResolverSpec] Add uses a Podfile requirement even when a previously declared dependency has a different requirement
[ResolverSpec] Add coverage for unsatisfiable Podfile dependencies