Compute proper bounds for if-then-else expressions (also for sets and floats)
Compute proper bounds for if-then-else expressions (also for sets and floats)

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