Split Abstract Constraint