Introduce universals_mean_unfulfilled()
Make it possible to check if the presence of any universal from a list means that a requirement vector never can be fulfilled.
Make it possible to check if the presence of any universal from a list means that a requirement vector never can be fulfilled.