Add some tests for unsatisfiable package specs