fun satisfy(instance: Instance): List<PackageAction>
fun satisfy(instances: Collection<Instance>): List<PackageAction>