Text this: Abstract domains in constraint programming