negative precondtions deleted. Type hierarchy used (shelflocation, pickerlocation). Shelf can only unloaded at shelfloc