Make dom() work for arbitrary expressions (returns set lb..ub where lb and ub are the computed bounds, if more precise domain information is not available)
Make dom() work for arbitrary expressions (returns set lb..ub where lb and ub are the computed bounds, if more precise domain information is not available)

jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc