swift

a0c77a08 - AST: Add isSupersetOf() to AvailabilityDomain.

AST: Add isSupersetOf() to AvailabilityDomain. Refactor the implementations of algebraic queries on AvailabilityDomain to share a common implementation without repeated checks for equality.