Vitalsource Technologies, Inc. Abstract Domains In Constraint Programming